summaryrefslogtreecommitdiff
path: root/Master/tlpkg/lib
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2007-07-13 17:13:39 +0000
committerKarl Berry <karl@freefriends.org>2007-07-13 17:13:39 +0000
commitc847617ad264b8da5bd02d78fe0342d3b35b1ef0 (patch)
tree6473df86c46e3d2f94953324b288835300242914 /Master/tlpkg/lib
parentc9bb2d4bf7827f115efdfe4798e0359219681e3b (diff)
license instead of licence
git-svn-id: svn://tug.org/texlive/trunk@4576 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/lib')
-rw-r--r--Master/tlpkg/lib/TeXLiveInfra.sh11
1 files changed, 4 insertions, 7 deletions
diff --git a/Master/tlpkg/lib/TeXLiveInfra.sh b/Master/tlpkg/lib/TeXLiveInfra.sh
index e4a6500dd64..f3eca766017 100644
--- a/Master/tlpkg/lib/TeXLiveInfra.sh
+++ b/Master/tlpkg/lib/TeXLiveInfra.sh
@@ -1,12 +1,9 @@
-#
-# TeXLiveInfra.sh
-# shell library for the access to TLDB and TLP
+# $Id$
+# TeXLiveInfra.sh - shell library for the access to TLDB and TLP
#
# Copyright 2007 Norbert Preining
-#
-# This file is licensed under the GNU General Public Licence version 2
-# or any later version
-#
+# This file is licensed under the GNU General Public License version 2
+# or any later version.
die() {
echo $*