chiark
/
gitweb
/
~mdw
/
sod
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4979de8
)
doc/Makefile.am: Add missing entry for `refintro.tex'.
author
Mark Wooding
<mdw@distorted.org.uk>
Tue, 20 Aug 2019 11:28:01 +0000
(12:28 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Tue, 20 Aug 2019 11:29:51 +0000
(12:29 +0100)
doc/Makefile.am
patch
|
blob
|
blame
|
history
diff --git
a/doc/Makefile.am
b/doc/Makefile.am
index 5f090d8080c7d5e1a31ea9b916e045695d7e00f3..9812bd9947455b6d770f61eb9b67ef3bdfbba57b 100644
(file)
--- a/
doc/Makefile.am
+++ b/
doc/Makefile.am
@@
-55,6
+55,7
@@
TEX_FILES += intro.tex
TEX_FILES += tutorial.tex
## Reference.
+TEX_FILES += refintro.tex
TEX_FILES += concepts.tex
##TEX_FILES += cmdline.tex
TEX_FILES += syntax.tex