diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-26 10:41:21 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-26 10:41:21 +0000 |
commit | c38ba181ede6b46f28d5a70bf0243bcd003f943b (patch) | |
tree | d3a82a0ec7efd658820ea22e2d46400e9376c17d /configure.ac | |
parent | 4da9316c8fa576cad77bf398785765e165f6865c (diff) |
* Configure flags to specify the location of the DocBook DTD / stylesheets.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 243ef392f..1da1ab854 100644 --- a/configure.ac +++ b/configure.ac @@ -19,6 +19,23 @@ AC_PROG_CXX AC_PROG_RANLIB AC_PATH_PROG(wget, wget) +AC_PATH_PROG(xmllint, xmllint) +AC_PATH_PROG(xsltproc, xsltproc) + +AC_ARG_WITH(docbook-catalog, AC_HELP_STRING([--with-docbook-catalog=PATH], + [path of the DocBook XML DTD]), + docbookcatalog=$withval, docbookcatalog=/docbook-dtd-missing) +AC_SUBST(docbookcatalog) + +AC_ARG_WITH(docbook-xsl, AC_HELP_STRING([--with-docbook-xsl=PATH], + [path of the DocBook XSL stylesheets]), + docbookxsl=$withval, docbookxsl=/docbook-xsl-missing) +AC_SUBST(docbookxsl) + +AC_ARG_WITH(xml-flags, AC_HELP_STRING([--xml-flags=FLAGS], + [extra flags to be passed to xmllint and xsltproc]), + xmlflags=$withval, xmlflags=) +AC_SUBST(xmlflags) AC_CHECK_LIB(pthread, pthread_mutex_init) |