Re: [NTG-pdftex] Minor patch to pdftex.web to make it weave-able

Please consider the attached patch file for pdftex.web, which should not have any functional change. Thanks! I'll apply it. Still, it would be nice to run weave on it, Indeed, it's definitely intended that weave still work. Thanks again. -k