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) |
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: echo "@set EDITION $(PACKAGE_VERSION)" >> $@ echo "@set VERSION $(PACKAGE_VERSION)" >> $@ -doc-pdf: doc/version.texi +doc-pdf: version.texi @makeinfo --pdf --quiet gnunet.texi -doc-html: doc/version.texi +doc-html: version.texi @makeinfo --html gnunet.texi -doc-info: doc/version.texi +doc-info: version.texi @makeinfo --no-split gnunet.texi # FIXME: rm *.html and *.pdf |