summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--configure.in22
1 files changed, 0 insertions, 22 deletions
diff --git a/configure.in b/configure.in
index 886e9ff77..0ea2576ef 100644
--- a/configure.in
+++ b/configure.in
@@ -132,28 +132,6 @@ AC_ARG_ENABLE(regex,
[ --disable-regex omit regular expression interfaces],,
enable_regex=yes)
-AC_ARG_ENABLE(htmldoc,
- [ --enable-htmldoc build HTML documentation as well as Info],
- [if test "$enable_htmldoc" = "" || test "$enable_htmldoc" = y || test "$enable_htmldoc" = yes; then
- htmldoc_enabled=yes
- AC_PATH_PROG(TEXI2HTML, texi2html, not found)
- if test "$TEXI2HTML" = "not found"; then
- echo
- echo Building HTML documentation requires the \`texi2html\' program,
- echo which appears not to be present on your machine.
- echo
- echo \`texi2html\' is available from
- echo 'http://www.mathematik.uni-kl.de/~obachman/Texi2html/.'
- echo
- echo In the meantime, to build the guile-doc distribution
- echo without HTML enabled, please rerun \`./configure\' without
- echo the \`--enable-htmldoc\' option.
- exit -1
- fi
- fi])
-
-AM_CONDITIONAL(HTMLDOC, test x$htmldoc_enabled = xyes)
-
AC_ARG_ENABLE([deprecated],
AC_HELP_STRING([--disable-deprecated],[omit deprecated features]))