diff options
author | ng0 <ng0@n0.is> | 2019-12-15 12:02:56 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-12-15 12:02:56 +0000 |
commit | 4b3202cf97e62ec22be7f419bb6c76e548d9c6a8 (patch) | |
tree | 26f7b5b5016832e4532dd474f444bfa763ac1be4 | |
parent | 799d606678eeb707f9f3d847a479d1a9f04bf327 (diff) | |
parent | dfb6ce24cec42f9dcabf88c9a560018fe13dc4ff (diff) | |
download | gnunet-4b3202cf97e62ec22be7f419bb6c76e548d9c6a8.tar.gz gnunet-4b3202cf97e62ec22be7f419bb6c76e548d9c6a8.zip |
Merge branch 'master' of gnunet.org:gnunet
-rw-r--r-- | doc/handbook/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/handbook/Makefile.am b/doc/handbook/Makefile.am index 75d1c5159..0435796a9 100644 --- a/doc/handbook/Makefile.am +++ b/doc/handbook/Makefile.am | |||
@@ -81,6 +81,7 @@ gnunet_TEXINFOS = \ | |||
81 | EXTRA_DIST = \ | 81 | EXTRA_DIST = \ |
82 | $(gnunet_TEXINFOS) \ | 82 | $(gnunet_TEXINFOS) \ |
83 | htmlxref.cnf \ | 83 | htmlxref.cnf \ |
84 | version.texi \ | ||
84 | run-gendocs.sh \ | 85 | run-gendocs.sh \ |
85 | docstyle.css \ | 86 | docstyle.css \ |
86 | manual.css \ | 87 | manual.css \ |