Merge branch 'origin' -- abandoned work
authorMark Wooding <mdw@distorted.org.uk>
Mon, 25 Jun 2007 16:59:52 +0000 (17:59 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 25 Jun 2007 17:00:19 +0000 (18:00 +0100)
commit4b9c38b06f971d2d29469d59ebafa789927b9992
treea91d922786ffd4f0673f52b23749043d7caf9da5
parent2bc217e866451ea871c6c6f3c16b60e087210fb9
parent6c4265438c31dc6000647cff764f5ed2253d7478
Merge branch 'origin' -- abandoned work

* origin:
  doc: Predump format for faster TeXing.