diff options
author | ng0 <ng0@infotropique.org> | 2017-09-07 21:08:51 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-09-07 21:08:51 +0000 |
commit | 22052e3b488fc7fb1ab3cb550dc98c18312b6137 (patch) | |
tree | 8be39296c84de3d582866be767d1dd1dfea1cdef /doc/Makefile.am | |
parent | ddb69964c318665992def8950c6183809caa95f0 (diff) |
doc: Makefile. Also add README.txt.
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 4e72ae1c4..c97e0f6d9 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -76,8 +76,9 @@ EXTRA_DIST = \ $(gnunet_TEXINFOS) \ $(gnunet_doc_images) \ $(gnunet_tutorial_examples) \ - outdated-and-old-installation-instructions.txt - gnunet-c-tutorial-v1.pdf + outdated-and-old-installation-instructions.txt \ + gnunet-c-tutorial-v1.pdf \ + README.txt version.texi: echo "@set UPDATED $(date +'%d %B %Y')" > $@ |