diff options
-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 |