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