summaryrefslogtreecommitdiff
path: root/Build/source/README
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/README')
-rw-r--r--Build/source/README3
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/README b/Build/source/README
index f0a45438ecb..41ed23d105d 100644
--- a/Build/source/README
+++ b/Build/source/README
@@ -10,6 +10,9 @@ To make without configuring, run TL_CONFIGURE=true ./Build.
environment variables; just take a look to see all the names.)
Prerequisites:
+- GNU make. If your GNU make is invoked by some name other than `make',
+ try setting the envvar TL_MAKE to what is needed.
+
- GNU clisp and GNU libffcall, must be present for xindy. See more
details in utils/README. (Alternative: Build --without-xindy.)