From 384eb1d40db6fe97678cb00e57365e785cb85eff Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Thu, 28 Nov 2013 22:45:08 -0500 Subject: [PATCH] doc: Allow selecting web site CSS style sheet in XSLT HTML build --- doc/src/sgml/Makefile | 4 ++++ doc/src/sgml/stylesheet.xsl | 10 +++++++++- 2 files changed, 13 insertions(+), 1 deletion(-) diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 5a9e90a285..a6a6ef3962 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -258,6 +258,10 @@ postgres.xml: $(srcdir)/postgres.sgml $(ALMOSTALLSGML) rm postgres.xmltmp # ' hello Emacs +ifeq ($(STYLE),website) +XSLTPROC_HTML_FLAGS += --param website.stylesheet 1 +endif + xslthtml: xslthtml-stamp xslthtml-stamp: stylesheet.xsl postgres.xml diff --git a/doc/src/sgml/stylesheet.xsl b/doc/src/sgml/stylesheet.xsl index f966f283a1..db3f72aac1 100644 --- a/doc/src/sgml/stylesheet.xsl +++ b/doc/src/sgml/stylesheet.xsl @@ -10,7 +10,6 @@ - @@ -21,6 +20,15 @@ 2 + + + + + stylesheet.css + http://www.postgresql.org/media/css/docs.css + + + -- 2.40.0