summaryrefslogtreecommitdiff
path: root/Build/source/README.config
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2010-04-26 12:50:22 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2010-04-26 12:50:22 +0000
commit26ba2c24f5c830c1ec1bfc2c7c5cddeffcf517bd (patch)
treec8af41b4a5333fbbe732751800855fff3618029b /Build/source/README.config
parent87a5433a5d0c6ae3fd53250bd9118bb43c938a31 (diff)
build system: use a portable sed script and, if possible GNU sed
git-svn-id: svn://tug.org/texlive/trunk@18008 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/README.config')
-rw-r--r--Build/source/README.config4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/README.config b/Build/source/README.config
index 00a4aedbe21..555becc1f23 100644
--- a/Build/source/README.config
+++ b/Build/source/README.config
@@ -264,8 +264,8 @@ To build xindy docs.
---------------------------------
For `make check'.
-4.7. MAKE=/path/to/GNU_make
----------------------------------
+4.7. MAKE=/path/to/GNU_make, SED=/path/to/GNU_sed
+-------------------------------------------------
For the top-level.