Re-introduced toc removal for coding.html and index.html.

diff --git a/doc/Makefile b/doc/Makefile
index a601d4426b9bc93c2a20f3477dc98e05065a8785..3e3cc5b7ec30847e8269e7b435c2cc4888c260a7 100644 (file)
--- 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