diff --git a/README.nt b/README.nt
index 4e8219d9a..999e0fbf2 100644
--- a/README.nt
+++ b/README.nt
@@ -28,6 +28,9 @@ compiler will use the mingw32 environment instead.
 set to "/PROGRA~1/Yap" in the Makefile. This should correspond to
 "/Program Files/Yap".
 
+The cygwin environment does not provide gmp. You can fetch a dll for
+the gmp library from "http://www.sf.net/projects/mingwrep".
+
 VISUAL C++:
 
 To the best of my knowledge, Yap compiles cleanly under VC++ release
diff --git a/configure b/configure
index de897bb59..70618e680 100755
--- a/configure
+++ b/configure
@@ -4122,7 +4122,7 @@ done
 ac_given_srcdir=$srcdir
 ac_given_INSTALL="$INSTALL"
 
-trap 'rm -fr `echo "Makefile library/regex/Makefile library/system/Makefile  library/random/Makefile .depend library/Makefile CHR/Makefile CLPQR/Makefile LGPL/win32cons/Makefile config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
+trap 'rm -fr `echo "Makefile library/regex/Makefile library/system/Makefile  library/random/Makefile .depend library/Makefile CHR/Makefile CLPQR/Makefile config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
 EOF
 cat >> $CONFIG_STATUS <<EOF
 
@@ -4232,7 +4232,7 @@ EOF
 
 cat >> $CONFIG_STATUS <<EOF
 
-CONFIG_FILES=\${CONFIG_FILES-"Makefile library/regex/Makefile library/system/Makefile  library/random/Makefile .depend library/Makefile CHR/Makefile CLPQR/Makefile LGPL/win32cons/Makefile"}
+CONFIG_FILES=\${CONFIG_FILES-"Makefile library/regex/Makefile library/system/Makefile  library/random/Makefile .depend library/Makefile CHR/Makefile CLPQR/Makefile"}
 EOF
 cat >> $CONFIG_STATUS <<\EOF
 for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then
diff --git a/configure.in b/configure.in
index 00d002ed6..802a076ed 100644
--- a/configure.in
+++ b/configure.in
@@ -619,7 +619,7 @@ mkdir -p  library/system
 mkdir -p  CHR
 mkdir -p  CLPQR
 
-AC_OUTPUT(Makefile library/regex/Makefile library/system/Makefile  library/random/Makefile .depend library/Makefile CHR/Makefile CLPQR/Makefile LGPL/win32cons/Makefile)
+AC_OUTPUT(Makefile library/regex/Makefile library/system/Makefile  library/random/Makefile .depend library/Makefile CHR/Makefile CLPQR/Makefile)
 
 make depend
 
diff --git a/docs/yap.tex b/docs/yap.tex
index 7753f9d30..dd0a79f0b 100644
--- a/docs/yap.tex
+++ b/docs/yap.tex
@@ -675,6 +675,8 @@ You should check the default installation path which is set to
 @code{/PROGRA~1/Yap} in the standard Makefile. This string will usually
 be expanded into @code{c:\Program Files\Yap} by Windows.
 
+The cygwin environment does not provide @t{gm}. You can fecth a dll for
+the @t{gmp} library from @url{http://www.sf.net/projects/mingwrep}.
 @end table
 
 @node Compiling Under Visual C++, Tuning for SGI cc, Tuning for GCC, Machine Options