postgres.git / summary / log / commit / refs

commit    7afc2336cd9ce294894fcb750ab8c8cf51bf6bce
Author:   Peter Eisentraut <peter_e@gmx.net>
Date:     Fri Dec 12 02:48:01 2014 +0000
First released in: 9.5.0

    doc: Move website-stylesheet setting to a more appropriate location


 doc/src/sgml/stylesheet.dsl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl
index 2a49e794cb6..61d2963b17c 100644
--- a/doc/src/sgml/stylesheet.dsl
+++ b/doc/src/sgml/stylesheet.dsl
@@ -29,7 +29,6 @@
 <!-- (applicable to all output formats) -->
 
 (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%             '())


[parent: 2f8607860b4e]