diff --git a/configure b/configure index 739ef590e..a0add3a6d 100755 --- a/configure +++ b/configure @@ -21309,7 +21309,8 @@ fi fi if test xno != "x$MAKEINDEX" \ && test xno != "x$DVIPS" \ - && test xno != "x$DHL" \ + && test xno != "x$FIG2DEV" \ + && test xno != "x$DLH" \ && test xno != "x$GS" \ && test xno != "x$PPMTOFIG" ; then : with_api_html=yes