Removed obsolete OS/2 test makefiles.

[splint.git] / os2 / README.OS2

diff --git a/os2/README.OS2 b/os2/README.OS2
index 019bfaf12aebbb953d200870b83766836c1a2e1f..e6279d428d9843723b6f8492d3d046afde50f40c 100644 (file)
--- a/os2/README.OS2
+++ b/os2/README.OS2
@@ -1,5 +1,5 @@
-splint 3.0.0.16 for OS/2\r
-========================\r
+splint 3.1.1 for OS/2\r
+=====================\r
 \r
 This file is originally part of the binary distribution of splint for OS/2.\r
 \r
@@ -94,6 +94,10 @@ History:
 The following things specific to the OS/2 version of splint have changed / \r
 fixed since the first official release:\r
 \r
+version 3.1.1\r
+- Set the default system directory to `/os2/'.\r
+- Bugfixes.\r
+\r
 version 3.0.0.16:\r
 - Finally fully united the OS/2 port with the main source tree.\r
 - Bugfixes.\r