2 files changed, 7 insertions, 5 deletions
diff --git a/Makefile.common b/Makefile.common
index dc2f1e0e2..f31b60a58 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -72,6 +72,8 @@ LATEX:=latex
 BIBTEX:=bibtex -min-crossrefs=10
 MAKEINDEX:=makeindex
 PDFLATEX:=pdflatex
+HEVEA:=hevea
+HEVEAOPTS:=-fix -exec xxdate.exe
 HEVEALIB:=/usr/local/lib/hevea:/usr/lib/hevea
 export TEXINPUTS:=$(COQSRC)/doc:$(HEVEALIB):
 COQTEXOPTS:=-n 72 -image $(COQSRC)/$(COQTOP) -v -sl -small
diff --git a/Makefile.doc b/Makefile.doc
index 946dafe33..51ac73429 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -92,7 +92,7 @@ doc/refman/Reference-Manual.pdf: $(REFMANFILES) doc/refman/Reference-Manual.tex
 ### Reference Manual (browsable format)
 
 doc/refman/Reference-Manual.html: doc/refman/headers.hva doc/refman/Reference-Manual.dvi # to ensure bbl file
-	(cd doc/refman; hevea -fix -exec xxdate.exe ./Reference-Manual.tex)
+	(cd doc/refman; $(HEVEA) $(HEVEAOPTS) ./Reference-Manual.tex)
 
 doc/refman/html/index.html: doc/refman/Reference-Manual.html $(REFMANPNGFILES) \
                         doc/refman/cover.html doc/refman/index.html
@@ -106,7 +106,7 @@ doc/refman/html/index.html: doc/refman/Reference-Manual.html $(REFMANPNGFILES) \
 doc/refman-quick:
 	(cd doc/refman; \
 	 $(PDFLATEX) Reference-Manual.tex; \
-	 hevea -fix -exec xxdate.exe ./Reference-Manual.tex)
+	 $(HEVEA) $(HEVEAOPTS) ./Reference-Manual.tex)
 
 
 ######################################################################
@@ -120,7 +120,7 @@ doc/tutorial/Tutorial.v.pdf: $(DOCCOMMON) doc/tutorial/Tutorial.v.tex
 	(cd doc/tutorial; $(PDFLATEX) Tutorial.v.tex)
 
 doc/tutorial/Tutorial.v.html: $(DOCCOMMON) doc/tutorial/Tutorial.v.tex
-	(cd doc/tutorial; hevea -exec xxdate.exe Tutorial.v)
+	(cd doc/tutorial; $(HEVEA) $(HEVEAOPTS) Tutorial.v)
 
 
 ######################################################################
@@ -138,7 +138,7 @@ doc/faq/FAQ.v.pdf: doc/common/version.tex doc/common/title.tex doc/faq/FAQ.v.dvi
 	(cd doc/faq; $(PDFLATEX) FAQ.v.tex)
 
 doc/faq/FAQ.v.html: doc/faq/FAQ.v.dvi # to ensure FAQ.v.bbl
-	(cd doc/faq; hevea -fix FAQ.v.tex)
+	(cd doc/faq; $(HEVEA) $(HEVEAOPTS) FAQ.v.tex)
 
 doc/faq/html/index.html: doc/faq/FAQ.v.html
 	- rm -rf doc/faq/html
@@ -196,7 +196,7 @@ doc/RecTutorial/RecTutorial.v.pdf: doc/common/version.tex doc/common/title.tex d
 	(cd doc/RecTutorial; $(PDFLATEX) RecTutorial.v.tex)
 
 doc/RecTutorial/RecTutorial.v.html: doc/RecTutorial/RecTutorial.v.tex
-	(cd doc/RecTutorial; hevea -exec xxdate.exe RecTutorial.v)
+	(cd doc/RecTutorial; $(HEVEA) $(HEVEAOPTS) RecTutorial.v)
 
 ######################################################################
 # Index file for CoqIDE