doc/tutorial.tex: Fix option-dash formatting.
[sod] / debian / sod-doc.install
2015-09-20 Mark WoodingAdd build machinery for the manual.