diff options
| author | Peter Eisentraut | 2000-11-05 21:04:07 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2000-11-05 21:04:07 +0000 |
| commit | 7267fdd7a3ae0a8a169e9730bdfaa46fde7dd94b (patch) | |
| tree | 6bd8e8aa7bc6cbac1f984e011437cdf0eed0234f /configure.in | |
| parent | bee6cc6f9c92424e88f7c195e60e645da8b9cbcf (diff) | |
Add some configure checks for DocBook and related tools. With a somewhat
standard installation layout it should be possible to build the HTML
and print documentation without additional manual setup.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 2845ff6de68..53b19292a1b 100644 --- a/configure.in +++ b/configure.in @@ -1090,6 +1090,19 @@ if test "$with_tk" = yes; then fi +# +# Check for DocBook and tools +# +PGAC_PROG_NSGMLS +# If you don't have nsgmls you won't get very far, so save the cycles. +if test -n "$NSGMLS"; then + PGAC_PROG_JADE + PGAC_CHECK_DOCBOOK([3.1]) + PGAC_PATH_DOCBOOK_STYLESHEETS + AC_CHECK_PROGS(SGMLSPL, sgmlspl) +fi + + # Finally ready to produce output files ... if test x"$abs_top_srcdir" != x"$abs_top_builddir"; then |