Apply Karl Berry's bug fix so @copying works with @ifnottex
commitb7386cce858582b3ba4673e21d97464380bb5d63
authorRobert J. Chassell <bob@rattlesnake.com>
Wed, 16 Jul 2003 19:00:28 +0000 (16 19:00 +0000)
committerRobert J. Chassell <bob@rattlesnake.com>
Wed, 16 Jul 2003 19:00:28 +0000 (16 19:00 +0000)
tree95d3e3e830a94bf10b3798a959c90f99b25fc256
parente057da523962af1a10ec608e7ef1baef903b7c83
Apply Karl Berry's bug fix so @copying works with @ifnottex
lispintro/texinfo.tex