Drop indentation of verbatim environments in print output. This increased

the build time by what seemed like infinity.

diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl
index a5735c4848ec7981ff306675779dac8ac8364aa4..61374ac5f5c396b7e271b8a874520c0e3fbf77e8 100644 (file)
--- a/doc/src/sgml/stylesheet.dsl
+++ b/doc/src/sgml/stylesheet.dsl
@@ -1,4 +1,4 @@
-
+
 
 
 
@@ -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