diff --git a/doc/make/cygwin.md b/doc/make/cygwin.md
deleted file mode 100644
index 008ae47c9a..0000000000
--- a/doc/make/cygwin.md
+++ /dev/null
@@ -1,4 +0,0 @@
-Install Packages on Cygwin
---------------------------
-Just run cygwin setup.exe (http://cygwin.com/install.html) and make sure that you have installed g++ 4.8.1 (or greater), cmake, gmp and libmpfr.
-We have tested Lean using Cygwin for 64-bit versions of Windows.