diff options
Diffstat (limited to 'Build/source/texk/tetex/Makefile.in')
-rw-r--r-- | Build/source/texk/tetex/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/source/texk/tetex/Makefile.in b/Build/source/texk/tetex/Makefile.in index fa1496cebfb..906d0b5aea6 100644 --- a/Build/source/texk/tetex/Makefile.in +++ b/Build/source/texk/tetex/Makefile.in @@ -196,7 +196,6 @@ dist_bin_SCRIPTS = \ kpsetool \ kpsewhere \ ps2frag \ - ps4pdf \ pslatex \ rubibtex \ rumakeindex \ |