doc/sod.sty, etc.: Remove `type' category code.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 5 Aug 2019 17:15:43 +0000 (18:15 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 5 Aug 2019 17:18:02 +0000 (18:18 +0100)
commitff1f7b214736f24e5f0a2b24c06273a30eca0879
treea49b025543fe3f53e02e659c5497c7b70578bab1
parent0c1ea92d4b39f4948891f911a4414f6ff9fb5a07
doc/sod.sty, etc.: Remove `type' category code.

It was a synonym for `ty', which I prefer, only you have to pick the
right one to get cross-references to work, which sucks.
doc/runtime.tex
doc/sod.sty
doc/structures.tex