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 \ |