diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-23 18:11:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-23 18:11:09 +0000 |
| commit | 3e60f860456cf64a1bd743eeb5c899831d68fd6c (patch) | |
| tree | acfd097b066e47dbf37d0cbe9b6701f6a811d43e /doc/Makefile.doc | |
| parent | bd99ed45eb393b4754d16306ada6d69f05d4fdfd (diff) | |
Remove extra nav bars in html. Clean html subdirs on distclean
Diffstat (limited to 'doc/Makefile.doc')
| -rw-r--r-- | doc/Makefile.doc | 4 |
1 files changed, 2 insertions, 2 deletions
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. |