projects / oweals / gnunet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a05f1d9)
follow-up to c802d0a81e6c415e4c99b562b03d47a1beb5a617
authorng0 <ng0@n0.is>
Sun, 24 Feb 2019 10:05:28 +0000 (10:05 +0000)
committerng0 <ng0@n0.is>
Sun, 24 Feb 2019 10:05:28 +0000 (10:05 +0000)
doc/tutorial/Makefile.am patch | blob | history

diff --git a/doc/tutorial/Makefile.am b/doc/tutorial/Makefile.am
index a572cb75d5398a27c88cdcf8a9a8ac9016f93a21..fdfd49087b283d62fb7884c9d1ea3b86ef6c1b9d 100644 (file)
--- a/doc/tutorial/Makefile.am
+++ b/doc/tutorial/Makefile.am
@@ -7,7 +7,8 @@ docdir = $(datadir)/doc/gnunet/
 #      $(DOT_FILES:%.dot=%.eps)                                \
 #      $(DOT_FILES:%.dot=%.pdf)
 
-AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=docstyle.css
+# See ../handbook/Makefile.am comment!
+AM_MAKEINFOHTMLFLAGS = --no-split --css-include=docstyle.css
 
 #DOT_OPTIONS =                                                 \
 #      -Gratio=.9 -Gnodesep=.005 -Granksep=.00005              \
Unnamed repository; edit this file 'description' to name the repository.