chiark / gitweb /
doc/sod.sty: Rename `descmod' to `modcat'.