diff options
Diffstat (limited to 'Master/tlpkg/bin/ctan2tds')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds index 45e4318ca11..f3fd84eac5c 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -811,6 +811,7 @@ $standardins='\.ins'; 'ctable', 'latex', # requires interaction 'mh', 'etex', 'polski', 'latex', # requires interaction + 'psfragx', 'latex', # requires interaction ); $standardinsrunner="latex -interaction=nonstopmode"; @@ -1885,8 +1886,9 @@ sub MAKEflatten die "$package failed in $prehook: $@" if $@; } - # mv foo/README to README.foo. - &SYSTEM ("for r in `find . -mindepth 2 -name README`; do" + # mv foo/README to README.foo. README.txt is for psfragx. + # Obviously should be generalized. + &SYSTEM ("for r in `find . -mindepth 2 '(' -name README -o -name README.txt ')'`; do" . ' mv $r $r.`basename \`dirname $r\``; done'); # move all non-directories to top level, but don't accidentally |