Index: Makefile
===================================================================
--- Makefile	(revision 30437)
+++ Makefile	(revision 30438)
@@ -8,7 +8,7 @@
 all: user.pdf
 
 user.ps: ps.lst $(BUILD) default.css Makefile
-	HTML2PS_OPTS="-f default.css" HTML2PS_SED="s^<[hH]1>.*</[hH]1>^^g" $(BUILD) `cat ps.lst` > user.ps
+	HTML2PS_OPTS="-f default.css --toc h" HTML2PS_SED="s^<[hH]1>.*</[hH]1>^^g" $(BUILD) `cat ps.lst` > user.ps
 
 user.pdf: user.ps
 	ps2pdf user.ps
@@ -16,7 +16,7 @@
 ps.lst: */*.html */*.png
 	echo "title.html" > ps.lst
 	echo "index.html" >> ps.lst
-	ls */*.html 06_feature/*/*.html | grep -v "Pre.html\|Post.html" | sort >> ps.lst
+	ls */*.html 06_feature/*/*.html | grep -v "06_feature/index.html\|Pre.html\|Post.html" | sort | awk '/^06_/ && (!seen) { print "06_feature/index.html"; seen=1} { print $0}' >> ps.lst
 
 include Makefile.inst