diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2006-12-15 14:54:48 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2006-12-15 14:54:48 +0000 |
| commit | 6d3985b46e1f409194f89cffaf82f77fc46bdf33 (patch) | |
| tree | 5942328a0f97310e2c3151c533afbec55590c6fe /doc/src | |
| parent | 169f9f4cb62ed48dff3fbbfc396f3a517e67ed61 (diff) | |
| download | postgresql-6d3985b46e1f409194f89cffaf82f77fc46bdf33.tar.gz postgresql-6d3985b46e1f409194f89cffaf82f77fc46bdf33.zip | |
Drop indentation of verbatim environments in print output. This increased
the build time by what seemed like infinity.
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/stylesheet.dsl | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl index a5735c4848e..7f0e04c223f 100644 --- a/doc/src/sgml/stylesheet.dsl +++ b/doc/src/sgml/stylesheet.dsl @@ -1,4 +1,4 @@ -<!-- $PostgreSQL: pgsql/doc/src/sgml/stylesheet.dsl,v 1.30 2006/02/16 01:03:48 petere Exp $ --> +<!-- $PostgreSQL: pgsql/doc/src/sgml/stylesheet.dsl,v 1.30.2.1 2006/12/15 14:54:48 petere Exp $ --> <!DOCTYPE style-sheet PUBLIC "-//James Clark//DTD DSSSL Style Sheet//EN" [ <!-- must turn on one of these with -i on the jade command line --> @@ -280,12 +280,6 @@ (define %refentry-new-page% #t) (define %refentry-keep% #f) -;; Indentation of verbatim environments. (This should really be done -;; with start-indent in DSSSL.) -(define %indent-programlisting-lines% " ") -(define %indent-screen-lines% " ") -(define %indent-synopsis-lines% " ") - ;; Default graphic format: Jadetex wants eps, pdfjadetex wants pdf. ;; (Note that pdfjadetex will not accept eps, that's why we need to |