aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOlaf Meeuwissen <paddy-hack@member.fsf.org>2016-09-18 21:41:03 +0900
committerOlaf Meeuwissen <paddy-hack@member.fsf.org>2016-09-18 21:41:03 +0900
commit46bc0ff1c89a6759fd22f80fd1ceb9551268da4f (patch)
tree7a26a610b56a6cea6ae9c510aa3ba9bf8342c359
parent2b973d75fed73771664958ea6cb5b4b8fd7b1307 (diff)
Sync autofoo
-rwxr-xr-xconfigure3
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure
index 739ef59..a0add3a 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