diff options
author | Karl Berry <karl@freefriends.org> | 2013-07-05 19:18:51 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-07-05 19:18:51 +0000 |
commit | 431e94591a17899cc4939a4de8306597b73c08d1 (patch) | |
tree | 3393c8b1b500705f65bcb42adf41cb70b9e90812 /Master/tlpkg | |
parent | 56baa364aad0fa137689eba03eb3eaaacfe1673e (diff) |
rm gentium, replaced by gentium-tug
git-svn-id: svn://tug.org/texlive/trunk@31104 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 2 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/gentium.tlpsrc | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index be8ecdb293d..1569aad4d88 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -434,7 +434,7 @@ chomp ($Build = `cd $Master/../Build/source && pwd`); 'geschichtsfrkl', "&MAKEflatten", 'gene', "die 'skipping, complicated, some have sources, sorry'", 'genmisc', "die 'skipping, too complicated, sorry'", - 'gentium', "&MAKEcopy", + 'gentium', "die 'skipping, use gentium-tug'", 'gentl-gr', "die 'skipping, nonfree license'", 'geomsty', "die 'skipping, nonfree license'", 'georgian', "die 'skipping, babel and other naming problems'", diff --git a/Master/tlpkg/tlpsrc/gentium.tlpsrc b/Master/tlpkg/tlpsrc/gentium.tlpsrc deleted file mode 100644 index e69de29bb2d..00000000000 --- a/Master/tlpkg/tlpsrc/gentium.tlpsrc +++ /dev/null |