diff options
Diffstat (limited to 'doc/tutorial/Makefile.am')
-rw-r--r-- | doc/tutorial/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tutorial/Makefile.am b/doc/tutorial/Makefile.am index d0fd14a4a..e76d55b8b 100644 --- a/doc/tutorial/Makefile.am +++ b/doc/tutorial/Makefile.am | |||
@@ -8,7 +8,7 @@ docdir = $(datadir)/doc/gnunet/ | |||
8 | # $(DOT_FILES:%.dot=%.pdf) | 8 | # $(DOT_FILES:%.dot=%.pdf) |
9 | 9 | ||
10 | # See ../handbook/Makefile.am comment! | 10 | # See ../handbook/Makefile.am comment! |
11 | AM_MAKEINFOHTMLFLAGS = --no-split --css-include=docstyle.css | 11 | AM_MAKEINFOHTMLFLAGS = --no-split --css-include=style.css --css-include=manual.css |
12 | 12 | ||
13 | #DOT_OPTIONS = \ | 13 | #DOT_OPTIONS = \ |
14 | # -Gratio=.9 -Gnodesep=.005 -Granksep=.00005 \ | 14 | # -Gratio=.9 -Gnodesep=.005 -Granksep=.00005 \ |