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)
* origin:
  doc: Predump format for faster TeXing.


Trivial merge