В целом мне уже ясно, как надо составлять индекс команд при документировании исходных текстов. Реализованное в пакете doc автоматическое индексирование абсолютно не работает, поэтому нужно использовать makeidx и делать все вручную.

Хотелось бы ввести команду, объединяющую функции \DescribeMacro из пакета doc и \index из makeidx, чтобы печатать на полях и вносить в индекс. Примерно так:

\def\IndexMacro#1{\DescribeMacro{#1}\index{Макросы!\verb+#1+}
\def\IndexEnv#1{\DescribeEnv{#1}\index{Окружения!\verb+#1+}

и потом использовать в dtx

% \IndexMacro{\section}

Проблема в том, что для добавления команд с @ внутри \index нужно явным образом экранировать символы \ и @ с помощью двойных кавычек.

\DescribeMacro{\@seccntformat}\index{Макросы!\verb+"\"@seccntformat+}

Вопрос: как средствами TeX реализовать подстановку этих двойных кавычек перед определенными символами аргумента?