diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-02-13 00:42:04 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-02-13 00:42:04 +0100 |
commit | 31bef70568177a32929331e73a18e852bee7bd08 (patch) | |
tree | dffac5b2f3b41038b03310da3ddcfa8b51f645d7 /doc/handbook/Makefile.am | |
parent | aa83696e631e8025a7db809c5973459e23bc80f4 (diff) | |
download | gnunet-31bef70568177a32929331e73a18e852bee7bd08.tar.gz gnunet-31bef70568177a32929331e73a18e852bee7bd08.zip |
fixing EXTRA_DIST issues'
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) \ |