Commit 8dd82a76 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Disable documentation when hevea is not available. (Fix for bug #16314.)

parent d15490b6
......@@ -306,13 +306,14 @@ else
enable_html_doc=no
fi
# checking for hevea
if test "$enable_html_doc" = yes ; then
# checking for hevea (note that the pdf documentation uses hevea.sty)
if test "$enable_doc" = yes ; then
AC_CHECK_PROG(HEVEA,hevea,hevea,no)
if test "$HEVEA" = no ; then
enable_doc=no
enable_html_doc=no
reason_html_doc=" (hevea not found)"
AC_MSG_WARN([Cannot find hevea, HTML documentation disabled.])
reason_doc=" (hevea not found)"
AC_MSG_WARN([Cannot find hevea, documentation disabled.])
fi
fi
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment