diff options
Diffstat (limited to 'Build/source/README.config')
-rw-r--r-- | Build/source/README.config | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Build/source/README.config b/Build/source/README.config index aa85e1bdef8..13b4ba85f8e 100644 --- a/Build/source/README.config +++ b/Build/source/README.config @@ -293,11 +293,15 @@ For xindy. ------------------------------------------------------------------------- To build xindy docs. -4.6. KPSEWHICH=/path/to/kpsewhich +4.6. PERL=/path/to/perl or TL_PLATFORM=TeX_Live_platform_name +------------------------------------------------------------- +Set the TeX Live platform name for biber. + +4.7. KPSEWHICH=/path/to/kpsewhich --------------------------------- For `make check'. -4.7. MAKE=/path/to/GNU_make, SED=/path/to/GNU_sed +4.8. MAKE=/path/to/GNU_make, SED=/path/to/GNU_sed ------------------------------------------------- For the top-level. |