summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2010-12-02 18:02:32 +0000
committerKarl Berry <karl@freefriends.org>2010-12-02 18:02:32 +0000
commitec2695953d651111268fe88a6c24cf02fc3750df (patch)
treed9c6e8d9797f4f5933baaaf25a8b2b4ccba71022
parent60492ebe7d5cab51e7db64e9ed4c18876d51ca62 (diff)
consistence
git-svn-id: svn://tug.org/texlive/trunk@20637 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Master/texmf-dist/doc/latex/inputtrc/README.pdfbin0 -> 13781 bytes
-rwxr-xr-xMaster/tlpkg/bin/check-files-by-format5
-rwxr-xr-xMaster/tlpkg/bin/tlprm4
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
new file mode 100644
index 00000000000..db93ff0d4fc
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/inputtrc/README.pdf
Binary files differ
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`;
}