Generate html documentation in its own subdirectory and run hacha on it.

.gitignore

@@ -97,7 +97,7 @@ why3.conf
 /doc/manual.out
 /doc/*.haux
 /doc/*.pdf
-/doc/manual.html
+/doc/html/
 /doc/*.hind
 /doc/*.htoc
 /doc/bnf

Makefile.in

@@ -65,6 +65,7 @@ endif
 
 RUBBER = @RUBBER@
 HEVEA = @HEVEA@
+HACHA = @HACHA@
 
 #PSVIEWER  = @PSVIEWER@
 #PDFVIEWER = @PDFVIEWER@
@@ -1235,11 +1236,15 @@ doc/manual.pdf: $(BNFTEX) $(DOCTEX) doc/manual.bib
 	cd doc; $(RUBBER) --warn all --pdf manual.tex
 
 # the dependency on the pdf ensures the bbl was built
-doc/manual.html: doc/manual.pdf
-	cd doc; $(HEVEA) -fix fix.hva makeidx.hva manual.tex
+doc/html/manual.html: doc/manual.pdf
+	cd doc; rm -rf html; mkdir -p html
+	cd doc; $(HEVEA) -o html/manual.html -fix fix.hva makeidx.hva manual.tex
+
+doc/html/index.html: doc/html/manual.html
+	cd doc; $(HACHA) -tocbis -o html/index.html html/manual.html
 
 clean::
-	cd doc; $(RUBBER) --pdf --clean manual.tex
+	cd doc; rm -rf html; $(RUBBER) --pdf --clean manual.tex
 
 else
 

configure.in

@@ -302,6 +302,9 @@ fi
 # checking for hevea
 AC_CHECK_PROG(HEVEA,hevea,hevea,no)
 
+# checking for hacha
+AC_CHECK_PROG(HACHA,hacha,hacha,no)
+
 # checking for lablgtk2
 if test "$enable_ide" = yes ; then
    if test "$USEOCAMLFIND" = yes; then