From 3c94d3e2d09f6baa497aadba8f8c64bfd68a9ca9 Mon Sep 17 00:00:00 2001
From: mohring
Date: Tue, 6 Jan 2004 14:06:36 +0000
Subject: addendum comme part5, htmlsplit -> hacha

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8468 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/Makefile             | 14 ++++----------
 doc/Reference-Manual.tex |  2 ++
 2 files changed, 6 insertions(+), 10 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 8ab4bf199c..f330cdc6a7 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -153,10 +153,8 @@ doc-html.tar.gz: all-html
 	- $(MKDIR) coq-docs-html
 	rm -rf coq-docs-html/*
 	cp Tutorial.v.html coq-docs-html/tutorial.html
-	cp Reference-Manual.html coq-docs-html 
-	(cd coq-docs-html;\
-	 htmlsplit -N -T "The Coq Proof Assistant Reference Manual"\
-	   ./Reference-Manual.html; rm ./Reference-Manual.html)
+	cp Reference-Manual.html coqide-queries.png coqide.png coq-docs-html 
+	(cd coq-docs-html; hacha ./Reference-Manual.html; rm ./Reference-Manual.html)
 	cp cover.html coq-docs-html
 	tar cf doc-html.tar coq-docs-html
 	gzip -f doc-html.tar
@@ -166,12 +164,8 @@ html-www: all-html
 	- $(MKDIR) www
 	rm -rf www/*
 	cp Tutorial.v.html www/tutorial.html
-	cp Reference-Manual.html www
-	(cd www;\
-	 htmlsplit -N -T "The Coq Proof Assistant Reference Manual"\
-	   -n ../icons/next.gif -p ../icons/prev.gif -r ../icons/root.gif\
-	   -s ../icons/sub.gif ./Reference-Manual.html;\
-	 rm ./Reference-Manual.html)
+	cp Reference-Manual.html  coqide-queries.png coqide.png www
+	(cd www; hacha ./Reference-Manual.html; rm ./Reference-Manual.html)
 	cp cover.html www
 
 
diff --git a/doc/Reference-Manual.tex b/doc/Reference-Manual.tex
index a46f71631b..2e6c458439 100644
--- a/doc/Reference-Manual.tex
+++ b/doc/Reference-Manual.tex
@@ -94,8 +94,10 @@
 
 \printindex[error]
 
+%BEGIN LATEX
 \listoffigures
 \addcontentsline{toc}{chapter}{\listfigurename}
+%END LATEX
 
 %BEGIN LATEX
 \RefManCutCommand{psselect -q -p-$ENDREFMAN,$BEGINBIBLIO- Reference-Manual.ps Reference-Manual-base.ps}
-- 
cgit v1.2.3