Call \normalturnoffactive for the sake of \write's that include a \.
authorkarl <karl>
Tue, 5 Nov 1996 19:51:16 +0000 (19:51 +0000)
committerkarl <karl>
Tue, 5 Nov 1996 19:51:16 +0000 (19:51 +0000)
commitc178ec9f031d1fd11675d5d2d39f5b83a58fbb60
treeeb127867c20e1ce4eebf5b699c8a9cc192815d23
parent1d3a7f4a29a1d0d2384e85d0147e532be361d963
Call \normalturnoffactive for the sake of \write's that include a \.
manual/texinfo.tex