summaryrefslogtreecommitdiff
path: root/doc/handbook
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-02-13 00:42:04 +0100
committerChristian Grothoff <christian@grothoff.org>2019-02-13 00:42:04 +0100
commit31bef70568177a32929331e73a18e852bee7bd08 (patch)
treedffac5b2f3b41038b03310da3ddcfa8b51f645d7 /doc/handbook
parentaa83696e631e8025a7db809c5973459e23bc80f4 (diff)
fixing EXTRA_DIST issues'
Diffstat (limited to 'doc/handbook')
-rw-r--r--doc/handbook/Makefile.am7
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 = \
EXTRA_DIST = \
$(gnunet_TEXINFOS) \
htmlxref.cnf \
- gversion.texi
+ gversion.texi \
run-gendocs.sh \
- docstyle.css
+ docstyle.css \
+ manual.css \
+ reset.css \
+ style.css
# $(DOT_FILES) \