1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-28 23:42:10 +03:00

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.
This commit is contained in:
Peter Eisentraut
2000-11-05 21:04:07 +00:00
parent bee6cc6f9c
commit 7267fdd7a3
6 changed files with 374 additions and 76 deletions

View File

@ -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@
##########################################################################
#