diff options
Diffstat (limited to 'Build/tools/tlpkginfo')
-rwxr-xr-x | Build/tools/tlpkginfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/tools/tlpkginfo b/Build/tools/tlpkginfo index 980acc74558..180dd26598e 100755 --- a/Build/tools/tlpkginfo +++ b/Build/tools/tlpkginfo @@ -88,6 +88,7 @@ sub find_ctan_dir # names totally dissimilar $ctan_dir = "fonts/fourier-GUT" if $me eq "fourier"; + $ctan_dir = "graphics/pdftex" if $me eq "pdftex-def"; $ctan_dir = "info/biblio" if $me eq "beebe"; $ctan_dir = "info/italian/amsldoc" if $me eq "amsldoc-it"; $ctan_dir = "info/italian/amsthdoc" if $me eq "amsthdoc-it"; |