chiark / gitweb /
use the debiandoc2* tools for PS and PDF generation