diff options
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 1 | ||||
-rwxr-xr-x | Master/tlpkg/bin/ctan2tl | 2 | ||||
-rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 4 |
3 files changed, 4 insertions, 3 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds index b2ffce53525..7b5db3ac7dc 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -362,6 +362,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'songs', "die 'skipping, requires binary'", 'staves', "&MAKEflatten", 'stellenbosch',"&MAKEcopy", + 'stex', "&MAKEflatten", 'symbolindex', "die 'skipping, requires binary'", 't2', "&MAKEt2", 'tamethebeast',"&MAKEtamethebeast", diff --git a/Master/tlpkg/bin/ctan2tl b/Master/tlpkg/bin/ctan2tl index 8f852e12bcd..ff4b8d78187 100755 --- a/Master/tlpkg/bin/ctan2tl +++ b/Master/tlpkg/bin/ctan2tl @@ -102,7 +102,7 @@ ctan2tds --ctan-dir=$ctan_dir1 $pkg || exit 1 cd $cooked || exit 1 printf "\n\f cooked\n" find -depth -type d | xargs rmdir 2>/dev/null # remove empty directories -find $pkg \! -type d -printf "%TY%Tm%Td.%TH%TM %p\n" | sort -r -k1 +find $pkg \! -type d -printf "%TY%Tm%Td.%TH%TM %p\n" | sort -k2 printf "\n$0: calling place $place_chicken $pkg\n" rm -rf $pkg.done diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index ff06f7f82bd..0701e0a3824 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -169,8 +169,8 @@ my @WorkingTLP = qw( skak skaknew slideshow smalltableof smartref snapshot songbook sort-by-letters soul sparklines spie splines splitbib splitindex spotcolor sprite srcltx sseq - ssqquote stack stage staves stdclsdv stdpage statex2 stellenbosch - stringstrings struktex + ssqquote stack stage statex2staves stdclsdv stdpage stellenbosch + stex stringstrings struktex sttools stubs subdepth subeqn subeqnarray subfig subfigure subfloat substr sudoku sudokubundle sugconf supertabular susy svgcolor svn svn-multi svninfo |