From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 5 Sep 2020 13:51:39 +0000 (+0100)
Subject: at.dtx: Don't use `@'-commands in section headings.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/mdwtools/commitdiff_plain/1ae155da74f82d3b5ab944a1b98647af7d2b5ea7?hp=1ae155da74f82d3b5ab944a1b98647af7d2b5ea7

at.dtx: Don't use `@'-commands in section headings.

Alas, they don't -- and, I think, can't -- work in PDF strings, since
scanning the command name works using `\futurelet', which is a TeX
command rather than an expansion.
---