Merge branch 'master' of /home/mdw/public-git/strayman
authorMark Wooding <mdw@distorted.org.uk>
Wed, 1 Nov 2006 15:11:27 +0000 (15:11 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 1 Nov 2006 15:11:27 +0000 (15:11 +0000)
commit9398428ac37194a610aa6c41a575b965cee30a45
treed8a15f36e144d85434fc4f07ee71925d9e8a3f78
parent420183b8361123dd02eddde65f2a050caa41f463
parent9518b8956321c48a4ee0223d15a3a932cd0d7943
Merge branch 'master' of /home/mdw/public-git/strayman

* 'master' of /home/mdw/public-git/strayman:
  infra: Expunge revision history clutter.
  Ignore boring files.
  Build the package before the documentation.
  infra: Clean up project setup
strayman.dtx