diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2000-11-05 21:04:07 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2000-11-05 21:04:07 +0000 |
| commit | 7267fdd7a3ae0a8a169e9730bdfaa46fde7dd94b (patch) | |
| tree | 6bd8e8aa7bc6cbac1f984e011437cdf0eed0234f /src | |
| parent | bee6cc6f9c92424e88f7c195e60e645da8b9cbcf (diff) | |
| download | postgresql-7267fdd7a3ae0a8a169e9730bdfaa46fde7dd94b.tar.gz postgresql-7267fdd7a3ae0a8a169e9730bdfaa46fde7dd94b.zip | |
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 'src')
| -rw-r--r-- | src/Makefile.global.in | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index 55e6bbe9e08..ef2556784e8 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -1,5 +1,5 @@ # -*-makefile-*- -# $Header: /cvsroot/pgsql/src/Makefile.global.in,v 1.109 2000/11/04 16:39:02 petere Exp $ +# $Header: /cvsroot/pgsql/src/Makefile.global.in,v 1.110 2000/11/05 21:04:07 petere Exp $ #------------------------------------------------------------------------------ # All PostgreSQL makefiles include this file and use the variables it sets, @@ -125,6 +125,9 @@ krb_srvtab = @krb_srvtab@ TCL_CONFIG_SH = @TCL_CONFIG_SH@ TK_CONFIG_SH = @TK_CONFIG_SH@ +have_docbook = @have_docbook@ +DOCBOOKSTYLE = @DOCBOOKSTYLE@ + ########################################################################## # @@ -190,6 +193,12 @@ INSTALL_SHLIB = @INSTALL_SHLIB@ mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs missing = $(SHELL) $(top_srcdir)/config/missing +# Documentation + +JADE = @JADE@ +NSGMLS = @NSGMLS@ +SGMLSPL = @SGMLSPL@ + ########################################################################## # |