at.dtx: Don't use `@'-commands in section headings.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 5 Sep 2020 13:51:39 +0000 (14:51 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 7 Sep 2020 16:36:43 +0000 (17:36 +0100)
commit1ae155da74f82d3b5ab944a1b98647af7d2b5ea7
tree80e23f7bb5162ac5da6caf865a8ea2f8aeb2a87b
parent78cdb9cc6b9784b7777438957a99611a7870b9ab
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.
at.dtx