[NTG-pdftex] Minor patch to pdftex.web to make it weave-able
karl at freefriends.org
Tue Oct 10 00:38:15 CEST 2017
Hi Shreevatsa - I have applied your patch from August 15 to make
pdftex.web weave-able again. Sorry for the delay, thanks for the fix.
This is in the TeX Live repository; I still have not had time to sync
the pdftex repository since the TL17 release :(.
More information about the ntg-pdftex