diff options
Diffstat (limited to 'Build/source/README')
-rw-r--r-- | Build/source/README | 3 |
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.) |