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

Indent verbatim environments.

Browse Source
This commit is contained in:
Peter Eisentraut 2002-06-01 20:56:00 +00:00
parent 50b7148218
commit 1731048c12
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,4 +1,4 @@
<!-- $Header: /cvsroot/pgsql/doc/src/sgml/stylesheet.dsl,v 1.19 2002/01/30 21:53:40 petere Exp $ -->
<!-- $Header: /cvsroot/pgsql/doc/src/sgml/stylesheet.dsl,v 1.20 2002/06/01 20:56:00 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 -->
@ -58,6 +58,11 @@
(element symbol ($mono-seq$))
(element type ($mono-seq$))
;; Indentation of verbatim environments
(define %indent-programlisting-lines% " ")
(define %indent-screen-lines% " ")
(define %indent-synopsis-lines% " ")
;; Bibliography things