I know that pdftex.web is mainly compiled through web2c these days. So although written as an extension of tex.web it is not "really" intended as being in the WEB language, as tex.web once was. So one cannot expect the WEB tools to work on it. Still, it would be nice to run weave on it, especially since the changes needed are so minor (attached) and don't affect the web2c conversion (as far as I can tell).

Specifically:

1. In one place, a module (section) name contains |goto found|| instead of |goto found|

2. In another place, a few lines of Pascal code are commented out with { ... } inside which weave expects valid TeX; instead they can be commented out with @{ ... @} or deleted altogether if appropriate.