---
ChangeLog | 4 ++++
bootstrap | 24 +-----------------------
2 files changed, 5 insertions(+), 23 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index 299865a..a62d7bd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-03-31 Roland Levillain <roland(a)lrde.epita.fr>
+
+ * bootstrap: Check for HeVeA instead of TeX4ht.
+
2010-03-30 Roland Levillain <roland(a)lrde.epita.fr>
Revert to HeVeA to generate HTML from LaTeX.
diff --git a/bootstrap b/bootstrap
index 8f7d0c0..1505aa5 100755
--- a/bootstrap
+++ b/bootstrap
@@ -155,29 +155,7 @@ require $libtoolize 1.5.22
require doxygen 1.5.6
require convert 6.3.7
-# FIXME: Also check these:
-# epstopdf
-# pgf (how?)
-
-# Check for TeX4ht. htlatex and friends do not have options like
-# `--version', `-version', `-v', etc. Hence this ad hoc procedure.
-tempdir=`mktemp -d /tmp/temp.XXXXXX`
-# Set up automatic cleanup.
-cleanup() { rm -rf "$tempdir"; exit; }
-trap cleanup 0 1 2 3 6 15
-(
- cd "$tempdir"
- cat >test.tex <<EOF
- \documentclass{article}
- \begin{document}
- Test
- \end{document}
-EOF
- htlatex >/dev/null 2>&1 test.tex
-) || fatal "TeX4ht is required"
-
-# dvipng is required by TeX4ht.
-require dvipng 1.11
+require hevea 1.10 -version
# Regen files stored in the repository if asked so.
--
1.5.6.5