Remove obsolete documentation.
diff --git a/ChangeLog b/ChangeLog
index 4ca0259..b12d2e3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2016-12-04  Bruno Haible  <bruno@clisp.org>
+
+	Remove obsolete documentation.
+	* PORTS: Remove file.
+
 2016-12-03  Bruno Haible  <bruno@clisp.org>
 
 	Make Makefile.devel more useful for the users of the released tarball.
diff --git a/PORTS b/PORTS
deleted file mode 100644
index 2c4cfa0..0000000
--- a/PORTS
+++ /dev/null
@@ -1,46 +0,0 @@
-* Linux with libc6 (glibc-2.1):
-  OK
-
-* Linux with libc6 (glibc-2.0.7):
-  OK
-
-* Linux with libc5:
-  OK
-
-* Solaris 2.7:
-  OK
-
-* Solaris 2.6:
-  OK
-
-* OSF/1 5.1:
-  OK
-
-* OSF/1 4.0d:
-  OK
-
-* Irix 6.5:
-  OK
-
-* HP-UX 10.20:
-  OK
-
-* AIX 4.2:
-  OK
-
-* SunOS 4:
-  OK when configured --enable-static --disable-shared
-  (gcc cannot create shared libraries without relocations)
-
-* FreeBSD 3.3:
-  OK
-
-* BeOS 5:
-  OK
-
-* Woe32 with MSVC 4.0:
-  OK
-
-* Woe32 with MSVC 5.0:
-  OK
-