diff options
author | 1999-06-30 13:50:11 +0000 | |
---|---|---|
committer | 1999-06-30 13:50:11 +0000 | |
commit | af6dbb36ead642ca9ea346fbb6ac18d980280704 (patch) | |
tree | fed267deaa7544db054a127729c46d65ed14ac79 /doc/Makefile | |
parent | e5bcf476f0a5348f98e9ef663d76f056cf895cc4 (diff) |
updated
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 4 |
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 |