diff options
-rw-r--r-- | configure.ac | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/configure.ac b/configure.ac index 77f76e122..d6f814b26 100644 --- a/configure.ac +++ b/configure.ac @@ -94,11 +94,6 @@ AC_ARG_WITH(docbook-catalog, AC_HELP_STRING([--with-docbook-catalog=PATH], docbookcatalog=$withval, docbookcatalog=/docbook-dtd-missing) AC_SUBST(docbookcatalog) -AC_ARG_WITH(docbook-ebnf-catalog, AC_HELP_STRING([--with-docbook-ebnf-catalog=PATH], - [path of the DocBook XML EBNF module DTD]), - docbookebnfcatalog=$withval, docbookcatalog=/docbook-ebnf-dtd-missing) -AC_SUBST(docbookebnfcatalog) - AC_ARG_WITH(docbook-xsl, AC_HELP_STRING([--with-docbook-xsl=PATH], [path of the DocBook XSL stylesheets]), docbookxsl=$withval, docbookxsl=/docbook-xsl-missing) |