diff options
author | ng0 <ng0@infotropique.org> | 2017-08-24 10:12:16 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-08-24 10:12:16 +0000 |
commit | 091ade13613a2880f59af39ceee988ac983645a3 (patch) | |
tree | 7785d61b545d63ed9d05b66614c2fb9cc0fb1a4e /doc/Makefile.am | |
parent | 00ad802d172c22eccd4d3574207d167e589edaa0 (diff) | |
download | gnunet-091ade13613a2880f59af39ceee988ac983645a3.tar.gz gnunet-091ade13613a2880f59af39ceee988ac983645a3.zip |
doc/Makefile: correct leftovers.
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index ebf336dff..8caacb2bd 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -56,13 +56,13 @@ version.texi: | |||
56 | echo "@set EDITION $(PACKAGE_VERSION)" >> $@ | 56 | echo "@set EDITION $(PACKAGE_VERSION)" >> $@ |
57 | echo "@set VERSION $(PACKAGE_VERSION)" >> $@ | 57 | echo "@set VERSION $(PACKAGE_VERSION)" >> $@ |
58 | 58 | ||
59 | doc-pdf: doc/version.texi | 59 | doc-pdf: version.texi |
60 | @makeinfo --pdf --quiet gnunet.texi | 60 | @makeinfo --pdf --quiet gnunet.texi |
61 | 61 | ||
62 | doc-html: doc/version.texi | 62 | doc-html: version.texi |
63 | @makeinfo --html gnunet.texi | 63 | @makeinfo --html gnunet.texi |
64 | 64 | ||
65 | doc-info: doc/version.texi | 65 | doc-info: version.texi |
66 | @makeinfo --no-split gnunet.texi | 66 | @makeinfo --no-split gnunet.texi |
67 | 67 | ||
68 | # FIXME: rm *.html and *.pdf | 68 | # FIXME: rm *.html and *.pdf |