diff options
author | Karl Berry <karl@freefriends.org> | 2007-06-14 23:00:01 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-06-14 23:00:01 +0000 |
commit | 9e6fad70721bb092629a688cc91e0df4b8ea6793 (patch) | |
tree | 657ac16f87ce1223ddb3a83068f9569587615d1f | |
parent | c2e82483615cacc0574a7919e070abfe8631c5fa (diff) |
name file with - not _ for consistency
git-svn-id: svn://tug.org/texlive/trunk@4432 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r-- | new-infra/Makefile | 2 | ||||
-rw-r--r-- | new-infra/create-tlp.pl (renamed from new-infra/create_tlp.pl) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/new-infra/Makefile b/new-infra/Makefile index a498d86daac..b517cbc524a 100644 --- a/new-infra/Makefile +++ b/new-infra/Makefile @@ -1,7 +1,7 @@ all: mkdir -p tlp - perl create_tlp.pl tlsrc/*.tlsrc + perl create-tlp.pl tlsrc/*.tlsrc clean: rm -rf tlp tlp.old full.tldb diff --git a/new-infra/create_tlp.pl b/new-infra/create-tlp.pl index 673fba5f568..673fba5f568 100644 --- a/new-infra/create_tlp.pl +++ b/new-infra/create-tlp.pl |