From 6d3985b46e1f409194f89cffaf82f77fc46bdf33 Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Fri, 15 Dec 2006 14:54:48 +0000
Subject: [PATCH] Drop indentation of verbatim environments in print output. 
 This increased the build time by what seemed like infinity.

---
 doc/src/sgml/stylesheet.dsl | 8 +-------
 1 file changed, 1 insertion(+), 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