diff options
Diffstat (limited to 'Master')
| -rw-r--r-- | Master/texmf-dist/doc/latex/inputtrc/README.pdf | bin | 0 -> 13781 bytes | |||
| -rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 5 | ||||
| -rwxr-xr-x | Master/tlpkg/bin/tlprm | 4 |
3 files changed, 5 insertions, 4 deletions
diff --git a/Master/texmf-dist/doc/latex/inputtrc/README.pdf b/Master/texmf-dist/doc/latex/inputtrc/README.pdf Binary files differnew file mode 100644 index 00000000000..db93ff0d4fc --- /dev/null +++ b/Master/texmf-dist/doc/latex/inputtrc/README.pdf diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index f9d58d4f95e..d076ea80250 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -140,11 +140,12 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', # the value has no meaning here my $exclude_tfm = { '*base*' => 'texmf-dist/fonts/tfm', + 'jknappen/ec/' => 1, + 'jknappen/fc/' => 1, 'public/arev/' => 1, + 'public/chess/' => 1, # original has extra bytes, not worth fixing 'public/cmcyr/' => 1, 'public/dozenal/' => 1, - 'jknappen/ec/' => 1, - 'jknappen/fc/' => 1, 'public/gfsbodoni/' => 1, 'public/malayalam/' => 1, 'public/wnri/' => 1, diff --git a/Master/tlpkg/bin/tlprm b/Master/tlpkg/bin/tlprm index fa134018cd8..19109e86cf9 100755 --- a/Master/tlpkg/bin/tlprm +++ b/Master/tlpkg/bin/tlprm @@ -90,9 +90,9 @@ sub main `printf "@coll_files" >>$commit_file`; my $check_script = "$Master/tlpkg/bin/tlpkg-ctan-check"; - @lines = `egrep '( |^)$f( |\$)' $check_script`; + @lines = `egrep -nH '( |^)$f( |\$)' $check_script`; if (@lines) { - print "no future checks: $check_script\n"; + print @lines; `echo $check_script >>$commit_file`; } |