From 7aaaee73a035b18fd8d0387a031b685f19e45a6f Mon Sep 17 00:00:00 2001 From: Marius Vollmer Date: Mon, 28 Jun 2004 13:39:31 +0000 Subject: [PATCH] Removed code for --enable-htmldoc; support for HTML is now included in automake. --- configure.in | 22 ---------------------- 1 file changed, 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]))