chiark / gitweb /
mdwref.dtx: Include help text with errors.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 22 Jul 2022 10:26:15 +0000 (11:26 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 22 Jul 2022 10:26:15 +0000 (11:26 +0100)
commit2028c55c07634313b6e528d9524529456dbb1c02
tree662d06d7b1c766f3834a1e4b55d7347d0c988fb4
parent43a0026a2e8b23320070cc05ee161cf67e446e5b
mdwref.dtx: Include help text with errors.

Otherwise things get even worse when they're triggered.
mdwref.dtx