diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 52625b92bfab..1c42194c1580 100644 --- a/configure.ac +++ b/configure.ac @@ -64,6 +64,11 @@ 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) |