diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2014-08-13 22:10:25 -0400 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2014-08-13 22:10:25 -0400 |
| commit | faa14acc9b958d7b811d0aa624774f36e3fab750 (patch) | |
| tree | 298a9de1704444c331f676ee1ffb5a47ffcce1c3 /doc/src | |
| parent | a844c29966d7c0cd6a457e9324f175349bb12df0 (diff) | |
| download | postgresql-faa14acc9b958d7b811d0aa624774f36e3fab750.tar.gz postgresql-faa14acc9b958d7b811d0aa624774f36e3fab750.zip | |
doc: Remove obsolete set element DSSSL customizations
We don't use set elements (collection of books) anymore, so this is just
dead code.
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/stylesheet.dsl | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl index b4c8f1fd5af..635588a5273 100644 --- a/doc/src/sgml/stylesheet.dsl +++ b/doc/src/sgml/stylesheet.dsl @@ -153,10 +153,6 @@ ;; The rules in the default stylesheet for productname format it as a ;; paragraph. This may be suitable for productname directly within ;; *info, but it's nonsense when productname is used inline, as we do. -(mode set-titlepage-recto-mode - (element (para productname) ($charseq$))) -(mode set-titlepage-verso-mode - (element (para productname) ($charseq$))) (mode book-titlepage-recto-mode (element (para productname) ($charseq$))) (mode book-titlepage-verso-mode @@ -218,17 +214,10 @@ ;; Returns the depth of auto TOC that should be made at the nd-level (define (toc-depth nd) (cond ((string=? (gi nd) (normalize "book")) 2) - ((string=? (gi nd) (normalize "set")) 2) ((string=? (gi nd) (normalize "part")) 2) ((string=? (gi nd) (normalize "chapter")) 2) (else 1))) -;; Put a horizontal line in the set TOC (just like the book TOC looks) -(define (set-titlepage-separator side) - (if (equal? side 'recto) - (make empty-element gi: "HR") - (empty-sosofo))) - ;; Add character encoding and time of creation into HTML header (define %html-header-tags% (list (list "META" '("HTTP-EQUIV" "Content-Type") '("CONTENT" "text/html; charset=ISO-8859-1")) |