diff options
Diffstat (limited to 'Build/source/README.config')
-rw-r--r-- | Build/source/README.config | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/README.config b/Build/source/README.config index 27e3a31150f..34a34e1e33c 100644 --- a/Build/source/README.config +++ b/Build/source/README.config @@ -71,8 +71,8 @@ Do not build and install the program(s) of the package `PROG' or `UTIL'. ----------------------- Do not build any program packages, except those explicitly enabled. Without this option, all packages are built except those explicitly -disabled except for utils/xindy/ which is disabled by default due to -its requirement for clisp et al. +disabled and except for utils/xindy/ (which is disabled by default due to +its requirement for clisp et al.). 2.3. Configure options for texk/web2c/ -------------------------------------- |