doc/: Actually write documentation.
[sod] / doc / misc.tex
2015-09-20 Mark Woodingdoc/: Actually write documentation.