Bug#521918: eprover: FTBFS with binary-arch build

[Daniel Schepler]

Package: eprover
Version: 1.0.004-1
Severity: serious

From my pbuilder build log, passing --binary-arch on the command line (and the
buildd logs are showing the same thing):

...
# Add here commands to configure the package.
cp -f /usr/share/misc/config.sub config.sub
cp -f /usr/share/misc/config.guess config.guess
#CFLAGS="-g -O2" ./configure --build x86_64-linux-gnu --prefix=/usr
CFLAGS="-g -O2" ./configure --prefix=/usr
Configuring with executable path /usr/bin
make[1]: Entering directory `/tmp/buildd/eprover-1.0.004'
make[1]: Nothing to be done for `config'.
make[1]: Leaving directory `/tmp/buildd/eprover-1.0.004'
dh_testdir
/usr/bin/make -C DOC html
make[1]: Entering directory `/tmp/buildd/eprover-1.0.004/DOC'
mkdir -p html
htlatex eprover.tex "xhtml,2,info,sections+,fn-in" unicode -d./html/
/bin/sh: htlatex: command not found
make[1]: *** [html/eprover.html] Error 127
make[1]: Leaving directory `/tmp/buildd/eprover-1.0.004/DOC'
make: *** [build-stamp-indep] Error 2
dpkg-buildpackage: failure: debian/rules build gave error exit status 2
-- 
Daniel Schepler