summaryrefslogtreecommitdiff
path: root/Build/source
diff options
context:
space:
mode:
authorMartin Schröder <martin@oneiros.de>2008-02-06 21:55:01 +0000
committerMartin Schröder <martin@oneiros.de>2008-02-06 21:55:01 +0000
commitbe65ffa2b81e859842ed679d441687df57f24f03 (patch)
tree9cfa606b032a459c8038e5ad3e14417b67d78557 /Build/source
parenta0db67bb063e8fdb7c607dec32be39068be19fe0 (diff)
Resurrect deleted item; the deletion broke the build
git-svn-id: svn://tug.org/texlive/trunk@6514 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
-rw-r--r--Build/source/libs/EXTRA.LIB2
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/libs/EXTRA.LIB b/Build/source/libs/EXTRA.LIB
new file mode 100644
index 00000000000..3a7dcfa7556
--- /dev/null
+++ b/Build/source/libs/EXTRA.LIB
@@ -0,0 +1,2 @@
+Extra libraries that are used by programs in the texk directory and
+outside of it.