chiark / gitweb /
doc/output.tex: Replace the old output-item comments with big tables.
[sod] / debian / control
2019-08-22 Mark Woodingdebian/control: Replace ancient `${Source-Version}...
2015-09-20 Mark WoodingAdd build machinery for the manual.
2015-09-14 Mark WoodingMerge branch 'master' into doc
2015-09-06 Mark WoodingMakefile.am, debian/: Initial packaging; release 0... 0.2.0