diff options
author | ng0 <ng0@n0.is> | 2019-02-24 10:05:28 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-02-24 10:05:28 +0000 |
commit | 807909989412f795ddaa4a0ccd53ee3ad094d33f (patch) | |
tree | 3a4d1af41c1973eded60395c22dc15f32ee512eb /doc | |
parent | a05f1d9b5f562a6676b671097bd32fc309739a68 (diff) | |
download | gnunet-807909989412f795ddaa4a0ccd53ee3ad094d33f.tar.gz gnunet-807909989412f795ddaa4a0ccd53ee3ad094d33f.zip |
follow-up to c802d0a81e6c415e4c99b562b03d47a1beb5a617
Diffstat (limited to 'doc')
-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 \ |