diff options
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@ + ########################################################################## # |