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

Karl Berry karl at freefriends.org
Thu Aug 17 22:43:55 CEST 2017

    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

More information about the ntg-pdftex mailing list