chiark / gitweb /
doc/output.tex: Add the `user' and `early-user' output items to comment.
[sod] / debian / sod-doc.install
2015-09-20 Mark WoodingAdd build machinery for the manual.