diff options
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
-rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 31c20d164ae..1c93e677b9a 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -1107,6 +1107,7 @@ $standardpro='\.pro'; %specialpro= ( 'carlisle', 'pspicture.ps', 'dvipsconfig', '.*', # addpsctrl should be in bin, but ... + 'initials', 'config.*', 'esint-type1', 'config.esint', 'zefonts', 'slantcm.cfg', ); |