diff options
| author | ng0 <ng0@infotropique.org> | 2017-08-24 10:01:20 +0000 |
|---|---|---|
| committer | ng0 <ng0@infotropique.org> | 2017-08-24 10:01:20 +0000 |
| commit | 7985352713a5462bc737332d02ddcc870381b56a (patch) | |
| tree | 87df8b42ed761eee8ada3b0145bbe9e22024f494 /doc/Makefile.am | |
| parent | 9fabad46447d7dbd0c23d1cadb1fba62330404c2 (diff) | |
doc/Makefile: generate a dummy version.texi
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 508326781..ebf336dff 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -50,13 +50,19 @@ EXTRA_DIST = \ $(gnunet_TEXINFOS) \ $(gnunet_doc_images) -doc-pdf: +version.texi: + echo "@set UPDATED $(date +'%d %B %Y')" > $@ + echo "@set UPDATED-MONTH $(date +'%B %Y')" >> $@ + echo "@set EDITION $(PACKAGE_VERSION)" >> $@ + echo "@set VERSION $(PACKAGE_VERSION)" >> $@ + +doc-pdf: doc/version.texi @makeinfo --pdf --quiet gnunet.texi -doc-html: +doc-html: doc/version.texi @makeinfo --html gnunet.texi -doc-info: +doc-info: doc/version.texi @makeinfo --no-split gnunet.texi # FIXME: rm *.html and *.pdf @@ -64,3 +70,5 @@ doc-clean: @rm *.aux *.log *.toc *.cp *.cps doc-all: doc-pdf doc-html doc-info + +.PHONY: version.texi |