]> git.ipfire.org Git - thirdparty/make.git/commit
projects / thirdparty / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc70a3b) | patch
(\doprintindex): Change catcode of @ before \read, in case of
authorKarl Berry <karl@gnu.org>
Wed, 25 Feb 1998 22:54:34 +0000 (22:54 +0000)
committerKarl Berry <karl@gnu.org>
Wed, 25 Feb 1998 22:54:34 +0000 (22:54 +0000)
commit1290679bc372f82f0c9892fed2c85a9c3e390265
tree13e4d8cc3ed8ed09792eaf5c0b8da5756af5c022tree
parentdc70a3bc0ba57e8cd1e38bb7b89fc7a892f72987commit | diff
(\doprintindex): Change catcode of @ before \read, in case of
\initial{@} being the line that is read.
Reported by: Drew Csillag <drew_csillag@geocities.com>
texinfo.tex diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/make.git