--- ChangeLog | 4 ++++ bootstrap | 24 +----------------------- 2 files changed, 5 insertions(+), 23 deletions(-) diff --git a/ChangeLog b/ChangeLog index 0795216..3f6b6cd 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2010-03-31 Roland Levillain <roland@lrde.epita.fr> + + * bootstrap: Check for HeVeA instead of TeX4ht. + 2010-03-30 Roland Levillain <roland@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