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/tutorial/Makefile.am | |
parent | aa83696e631e8025a7db809c5973459e23bc80f4 (diff) | |
download | gnunet-31bef70568177a32929331e73a18e852bee7bd08.tar.gz gnunet-31bef70568177a32929331e73a18e852bee7bd08.zip |
fixing EXTRA_DIST issues'
Diffstat (limited to 'doc/tutorial/Makefile.am')
-rw-r--r-- | doc/tutorial/Makefile.am | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/tutorial/Makefile.am b/doc/tutorial/Makefile.am index 412ac3a6f..bd09bf64d 100644 --- a/doc/tutorial/Makefile.am +++ b/doc/tutorial/Makefile.am | |||
@@ -73,12 +73,15 @@ EXTRA_DIST = \ | |||
73 | $(gnunet_tutorial_examples) \ | 73 | $(gnunet_tutorial_examples) \ |
74 | htmlxref.cnf \ | 74 | htmlxref.cnf \ |
75 | run-gendocs.sh \ | 75 | run-gendocs.sh \ |
76 | docstyle.css | 76 | docstyle.css \ |
77 | manual.css \ | ||
78 | reset.css \ | ||
79 | style.css | ||
77 | 80 | ||
78 | 81 | ||
79 | DISTCLEANFILES = \ | 82 | DISTCLEANFILES = \ |
80 | gnunet-tutorial.cps \ | 83 | gnunet-tutorial.cps \ |
81 | fdl-1.3.cps | 84 | fdl-1.3.cps |
82 | 85 | ||
83 | # XXX: is this sed invocation portable enough? otherwise try tr(1). | 86 | # XXX: is this sed invocation portable enough? otherwise try tr(1). |
84 | version.texi/replacement: version.texi/replacement/revert | 87 | version.texi/replacement: version.texi/replacement/revert |