summaryrefslogtreecommitdiff
path: root/doc/Makefile.am
diff options
context:
space:
mode:
authorng0 <ng0@infotropique.org>2017-08-24 10:01:20 +0000
committerng0 <ng0@infotropique.org>2017-08-24 10:01:20 +0000
commit7985352713a5462bc737332d02ddcc870381b56a (patch)
tree87df8b42ed761eee8ada3b0145bbe9e22024f494 /doc/Makefile.am
parent9fabad46447d7dbd0c23d1cadb1fba62330404c2 (diff)
doc/Makefile: generate a dummy version.texi
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r--doc/Makefile.am14
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