diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-02-23 10:48:08 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-02-23 10:48:08 +0100 |
| commit | f1e8076ed474a429aff32839ed5f8fc20371839c (patch) | |
| tree | bb38cb99b0e9cb7b937d33b539e74b9eb9fe4d32 /doc/handbook/Makefile.am | |
| parent | 3d0f1dd3805bfef30ff7a7f8e246a926b7fa7838 (diff) | |
| parent | 7b01b7b1760cc973719c9a20123f99e4a7e1b5a6 (diff) | |
| download | gnunet-f1e8076ed474a429aff32839ed5f8fc20371839c.tar.gz gnunet-f1e8076ed474a429aff32839ed5f8fc20371839c.zip | |
merge
Diffstat (limited to 'doc/handbook/Makefile.am')
| -rw-r--r-- | doc/handbook/Makefile.am | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/handbook/Makefile.am b/doc/handbook/Makefile.am index 1be5d1da7..120f63297 100644 --- a/doc/handbook/Makefile.am +++ b/doc/handbook/Makefile.am | |||
| @@ -96,9 +96,12 @@ gnunet_TEXINFOS = \ | |||
| 96 | EXTRA_DIST = \ | 96 | EXTRA_DIST = \ |
| 97 | $(gnunet_TEXINFOS) \ | 97 | $(gnunet_TEXINFOS) \ |
| 98 | htmlxref.cnf \ | 98 | htmlxref.cnf \ |
| 99 | gversion.texi | 99 | gversion.texi \ |
| 100 | run-gendocs.sh \ | 100 | run-gendocs.sh \ |
| 101 | docstyle.css | 101 | docstyle.css \ |
| 102 | manual.css \ | ||
| 103 | reset.css \ | ||
| 104 | style.css | ||
| 102 | 105 | ||
| 103 | 106 | ||
| 104 | # $(DOT_FILES) \ | 107 | # $(DOT_FILES) \ |