From: Peter Eisentraut Date: Fri, 12 Dec 2014 02:48:01 +0000 (-0500) Subject: doc: Move website-stylesheet setting to a more appropriate location X-Git-Tag: REL9_5_ALPHA1~1071 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7afc2336cd9ce294894fcb750ab8c8cf51bf6bce;p=postgresql doc: Move website-stylesheet setting to a more appropriate location --- diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl index 2a49e794cb..61d2963b17 100644 --- a/doc/src/sgml/stylesheet.dsl +++ b/doc/src/sgml/stylesheet.dsl @@ -29,7 +29,6 @@ (define draft-mode #f) -(define website-stylesheet #f) (define pgsql-docs-list "pgsql-docs@postgresql.org") @@ -187,6 +186,7 @@ (define %root-filename% "index") (define %link-mailto-url% (string-append "mailto:" pgsql-docs-list)) (define %use-id-as-filename% #t) +(define website-stylesheet #f) (define %stylesheet% (if website-stylesheet "http://www.postgresql.org/media/css/docs.css" "stylesheet.css")) (define %graphic-default-extension% "gif") (define %body-attr% '())