diff options
author | ng0 <ng0@infotropique.org> | 2017-09-07 13:47:14 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-09-07 13:47:14 +0000 |
commit | d6fee7e016217462627b02ec7561c7696ed68402 (patch) | |
tree | a2424d02b97361fcecfb9bf99b2c0ae19ef79a3c /doc/Makefile.am | |
parent | 618f08aa628c0d99b91ab0cf5fd3eac59871ae4c (diff) |
doc: trim chapters/installation.texi to move some very old
instructions into an "archive" file.
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 1e5a12321..72c073496 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -75,7 +75,8 @@ gnunet_TEXINFOS = \ EXTRA_DIST = \ $(gnunet_TEXINFOS) \ $(gnunet_doc_images) \ - $(gnunet_tutorial_examples) + $(gnunet_tutorial_examples) \ + outdated-and-old-installation-instructions.txt version.texi: echo "@set UPDATED $(date +'%d %B %Y')" > $@ |