summaryrefslogtreecommitdiff
path: root/Build/source/build-aux/README.TL
diff options
context:
space:
mode:
authorDenis Bitouzé <dbitouze@wanadoo.fr>2021-02-25 18:23:07 +0000
committerDenis Bitouzé <dbitouze@wanadoo.fr>2021-02-25 18:23:07 +0000
commitc6101f91d071883b48b1b4b51e5eba0f36d9a78d (patch)
tree1bf7f5a881d7a4f5c5bf59d0b2821943dd822372 /Build/source/build-aux/README.TL
parent07ee7222e389b0777456b427a55c22d0e6ffd267 (diff)
French translation for tlmgr updated
git-svn-id: svn://tug.org/texlive/trunk@57912 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/build-aux/README.TL')
-rw-r--r--Build/source/build-aux/README.TL28
1 files changed, 0 insertions, 28 deletions
diff --git a/Build/source/build-aux/README.TL b/Build/source/build-aux/README.TL
deleted file mode 100644
index 18976ae85ef..00000000000
--- a/Build/source/build-aux/README.TL
+++ /dev/null
@@ -1,28 +0,0 @@
-$Id$
-Copyright 2016 Karl Berry <tex-live@tug.org>
-Copyright 2009-2013 Peter Breitenlohner <tex-live@tug.org>
-You may freely use, modify and/or distribute this file.
-
-This directory is the central repository for auxiliary files, mostly
-shell scripts, needed to build the TeX Live (TL) tree. They are used by
-all packages included in the TL tree, whether or not TL is the actual
-owner/maintainer of the package
-
-The files fall into three sets:
-
-0) relpath is locally written.
-
-1) Those in GNU Gnulib (http://savannah.gnu.org/projects/gnulib). The
-script Master/tlpkg/bin/tl-update-auto attempts to keep these up to date
-nightly (except when the TL sources are frozen).
-
-2) Those not in Gnulib, that must come directly from an automake or
-libtool installation. These must be manually updated when new versions
-of those GNU packages are installed. The Master/tlpkg/dev/srclist.txt
-file checks for these relative to installation on the local machine, but
-updates are not automatic.
-
-There should be no other files in this directory.
-
-We generally try to use the latest official release, as it is available
-directly from GNU, rather than any distro or other patched version.