chiark / gitweb /
doc/sod.sty: Reformat `\@prog' so that we can add more stuff.