mirror/postgresql
2
0
Fork 0
mirror of https://git.postgresql.org/git/postgresql.git synced 2024-12-15 08:20:16 +08:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Peter Eisentraut 2014-12-11 21:48:01 -05:00
parent 2f8607860b
commit 7afc2336cd
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/src/sgml/stylesheet.dsl
View File

@ -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% '())