diff options
author | Karl Berry <karl@gnu.org> | 1998-02-25 22:54:34 +0000 |
---|---|---|
committer | Karl Berry <karl@gnu.org> | 1998-02-25 22:54:34 +0000 |
commit | 1290679bc372f82f0c9892fed2c85a9c3e390265 (patch) | |
tree | 13e4d8cc3ed8ed09792eaf5c0b8da5756af5c022 /main.c | |
parent | dc70a3bc0ba57e8cd1e38bb7b89fc7a892f72987 (diff) | |
download | gunmake-1290679bc372f82f0c9892fed2c85a9c3e390265.tar.gz |
(\doprintindex): Change catcode of @ before \read, in case of
\initial{@} being the line that is read.
Reported by: Drew Csillag <drew_csillag@geocities.com>
Diffstat (limited to 'main.c')
0 files changed, 0 insertions, 0 deletions