diff options
author | Marius Vollmer <mvo@zagadka.de> | 2004-06-28 13:39:31 +0000 |
---|---|---|
committer | Marius Vollmer <mvo@zagadka.de> | 2004-06-28 13:39:31 +0000 |
commit | 7aaaee73a035b18fd8d0387a031b685f19e45a6f (patch) | |
tree | c975434772faa23434847be367a6b0485ca00958 /configure.in | |
parent | aef35c0e7d006331c107610d590460873fa48da8 (diff) | |
download | guile-7aaaee73a035b18fd8d0387a031b685f19e45a6f.tar.gz |
Removed code for --enable-htmldoc; support for HTML is now included in
automake.
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 22 |
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])) |