pgsql: Drop indentation of verbatim environments in print output. - Mailing list pgsql-committers

From [email protected] (Peter Eisentraut)
Subject pgsql: Drop indentation of verbatim environments in print output.
Date
Msg-id [email protected]
Whole thread Raw
List pgsql-committers
Log Message:
-----------
Drop indentation of verbatim environments in print output.  This increased
the build time by what seemed like infinity.

Modified Files:
--------------
    pgsql/doc/src/sgml:
        stylesheet.dsl (r1.30 -> r1.31)
        (http://developer.postgresql.org/cvsweb.cgi/pgsql/doc/src/sgml/stylesheet.dsl.diff?r1=1.30&r2=1.31)

pgsql-committers by date:

Previous
From: [email protected] (Peter Eisentraut)
Date:
Subject: pgsql: Generalize Texinfo rules.
Next
From: [email protected] (Peter Eisentraut)
Date:
Subject: pgsql: Add some information about increasing JadeTeX parameters.