From 3e60f860456cf64a1bd743eeb5c899831d68fd6c Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 23 Aug 2010 18:11:09 +0000
Subject: Remove extra nav bars in html.  Clean html subdirs on distclean

---
 doc/Makefile.doc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/Makefile.doc')

diff --git a/doc/Makefile.doc b/doc/Makefile.doc
index 0e8d1852..ff673b0c 100644
--- a/doc/Makefile.doc
+++ b/doc/Makefile.doc
@@ -37,7 +37,7 @@ TOC = :_1
 
 DVI2PS = dvips -Pcmz
 TEXI2PDF = texi2pdf
-TEXI2HTML = texi2html -expandinfo -number -split_chapter
+TEXI2HTML = texi2html -expandinfo -number -split_chapter --noheader
 EMACS = emacs
 EMACSFLAGS = -q -no-site-file 
 
@@ -145,7 +145,7 @@ clean:
 ## distclean: Remove documentation targets
 ##
 distclean:   clean
-	rm -f $(DOCNAME).info* $(DOCNAME).dvi $(DOCNAME)*.ps $(DOCNAME).pdf $(DOCNAME)*.html 
+	rm -rf $(DOCNAME).info* $(DOCNAME).dvi $(DOCNAME)*.ps $(DOCNAME).pdf $(DOCNAME)
 
 ##
 ## texi: update magic comments in texi from docstrings in code.
-- 
cgit v1.2.3