From 807909989412f795ddaa4a0ccd53ee3ad094d33f Mon Sep 17 00:00:00 2001
From: ng0 <ng0@n0.is>
Date: Sun, 24 Feb 2019 10:05:28 +0000
Subject: [PATCH] follow-up to c802d0a81e6c415e4c99b562b03d47a1beb5a617

---
 doc/tutorial/Makefile.am | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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/
 #	$(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		\
-- 
2.25.1