diff options
Diffstat (limited to 'Build/source/utils/xindy/INSTALL')
-rw-r--r-- | Build/source/utils/xindy/INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/utils/xindy/INSTALL b/Build/source/utils/xindy/INSTALL index 23184d35b3e..66b43150622 100644 --- a/Build/source/utils/xindy/INSTALL +++ b/Build/source/utils/xindy/INSTALL @@ -29,7 +29,7 @@ about other compilers. xindy contains CLISP, see http://clisp.cons.org/. If you have CLISP installed already, you can use it with the configure option ---with-external-clisp[=PATH]. This is not intensively tested, though; +--with-clisp[=PATH]. This is not intensively tested, though; if you have problems with the resulting xindy system, please try it again with the xindy-internal CLISP. |