diff options
author | ng0 <ng0@infotropique.org> | 2017-09-07 20:07:33 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-09-07 20:07:33 +0000 |
commit | b005d5e4dac03fcfdabf0d0de434da3b295f6d63 (patch) | |
tree | a110e9d020de8858f0a0f7346ddd303f21034932 /doc/Makefile.am | |
parent | 5df0d36e105b7098fc6d00968de7203c772b46f4 (diff) |
doc: We can't build a pdf of gnunet-c-tutorial with the old file in place.
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 3e9790a8a..4e72ae1c4 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -77,6 +77,7 @@ EXTRA_DIST = \ $(gnunet_doc_images) \ $(gnunet_tutorial_examples) \ outdated-and-old-installation-instructions.txt + gnunet-c-tutorial-v1.pdf version.texi: echo "@set UPDATED $(date +'%d %B %Y')" > $@ |