mirror/postgresql
2
0
Fork 0
mirror of https://git.postgresql.org/git/postgresql.git synced 2025-01-12 18:34:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

Drop indentation of verbatim environments in print output. This increased

Browse Source 
the build time by what seemed like infinity.
This commit is contained in:
Peter Eisentraut 2006-12-15 14:54:48 +00:00
parent 169f9f4cb6
commit 6d3985b46e
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -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