summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2015-02-03 23:39:18 +0000
committerKarl Berry <karl@freefriends.org>2015-02-03 23:39:18 +0000
commit5186e33c6d218e9003f3da20bedfa840c1765d27 (patch)
treefccf82dae9fd18882993ef75df511c43809c08c5 /Master/tlpkg/bin
parentee0e64e16ff5d81050d780da9298fecd9eeae3b8 (diff)
ebproof (3feb15)
git-svn-id: svn://tug.org/texlive/trunk@36202 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-xMaster/tlpkg/bin/tlpkg-ctan-check2
-rwxr-xr-xMaster/tlpkg/bin/tlpkginfo2
2 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check
index 648f02b01e5..2ed3e71da42 100755
--- a/Master/tlpkg/bin/tlpkg-ctan-check
+++ b/Master/tlpkg/bin/tlpkg-ctan-check
@@ -178,7 +178,7 @@ my @TLP_working = qw(
dvdcoll dvgloss dviasm dviincl dvipdfmx-def
dvipsconfig dynblocks dyntree
ean ean13isbn easy easy-todo easyfig easylist
- ebezier ebgaramond ebgaramond-maths ebong ebook ebsthesis
+ ebezier ebgaramond ebgaramond-maths ebong ebook ebproof ebsthesis
ec ecc ecclesiastic ecltree eco economic
ecv ed edfnotes edmac edmargin ednotes eemeir eepic efbox egameps
egplot eiad eiad-ltx eijkhout einfuehrung ejpecp ekaia
diff --git a/Master/tlpkg/bin/tlpkginfo b/Master/tlpkg/bin/tlpkginfo
index 6e764c71d0a..2bde3b9d208 100755
--- a/Master/tlpkg/bin/tlpkginfo
+++ b/Master/tlpkg/bin/tlpkginfo
@@ -17,7 +17,7 @@ sub main {
# erroneous or problematic tds files (when new, tell RobinF and author)
$erroneous_tds = join ("|",
- qw(countriesofeurope dad engpron gost hacm he-she hobby imtekda
+ qw(countriesofeurope dad ebproof engpron gost hacm he-she hobby imtekda
mathdesign spanish sttools),
);