aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/Makefile
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-06-30 13:50:11 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-06-30 13:50:11 +0000
commitaf6dbb36ead642ca9ea346fbb6ac18d980280704 (patch)
treefed267deaa7544db054a127729c46d65ed14ac79 /doc/Makefile
parente5bcf476f0a5348f98e9ef663d76f056cf895cc4 (diff)
updated
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile
index f89d92df..d136277d 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -33,7 +33,7 @@ TOC = :_1
DVI2PS = dvips
TEXI2PDF = texi2pdf
-TEXI2HTML = texi2html
+TEXI2HTML = texi2html -expandinfo -number -split_chapter
EMACS = xemacs -batch
.SUFFIXES: .texi .info .dvi .html .pdf .ps .eps .tiff .gz
@@ -59,7 +59,7 @@ EMACS = xemacs -batch
$(DVI2PS) $< -o $*.ps
.texi.html:
- $(TEXI2HTML) -expandinfo -split_chapter $<
+ $(TEXI2HTML) $<
default: doc