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

Karl Berry 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 mailing list