diff --git a/README.MinGW b/README.MinGW index 77fed5c5e..9538d3363 100644 --- a/README.MinGW +++ b/README.MinGW @@ -66,8 +66,9 @@ directory. NOTE TO DEVELOPERS: there may be problems with configure scripts generated by the MinGW/MSYS versions of autoconf. The script will appear to run correctly -but generates incorrect mercury_conf.h files. A workaround is to use the -Cygwin version of autoconf to generate the configure script. +but generates incorrect mercury_conf.h files. A working version of autoconf +is available here: + -----------------------------------------------------------------------------