From af6dbb36ead642ca9ea346fbb6ac18d980280704 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jun 1999 13:50:11 +0000
Subject: updated

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

diff --git a/doc/.cvsignore b/doc/.cvsignore
index ebf58016..5966f115 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -17,6 +17,7 @@ ProofGeneral.fns
 ProofGeneral.vrs           
 ProofGeneral.info-*
 ProofGeneral.eps
+ProofGeneral.txt
 ProofGeneral_*.html
 ProofGeneral_toc.html
 ProofGeneral_foot.html
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
 
-- 
cgit v1.2.3