From a0b5bc523dadad87f0f56594d396cdc8690b677e Mon Sep 17 00:00:00 2001
From: Oliver Schmidt <ol.sc@web.de>
Date: Wed, 5 Feb 2014 22:30:28 +0100
Subject: [PATCH] Re-introduced toc removal for coding.html and index.html.

---
 doc/Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index a601d4426..3e3cc5b7e 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -6,6 +6,11 @@ ifeq ($(shell echo),)
 
 SGMLS := $(wildcard *.sgml)
 
+../html/coding.html ../html/index.html: \
+TOC_LEVEL = 0
+
+TOC_LEVEL = 2
+
 GH_PAGES = ../../gh-pages
 
 all:
@@ -23,7 +28,7 @@ html: $(addprefix ../html/,$(SGMLS:.sgml=.html))
 	mkdir $@
 
 ../html/%.html: %.sgml | ../html
-	linuxdoc -B html --split=0 --toc=2 $<
+	linuxdoc -B html --split=0 --toc=$(TOC_LEVEL) $<
 	mv $(@F) ../html
 
 gh-pages: html
-- 
2.39.5