![](https://secure.gravatar.com/avatar/c3c4ce72a68266355f51f0006a576199.jpg?s=120&d=mm&r=g)
17 Aug
2017
17 Aug
'17
10:43 p.m.
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