-This will create a splint-3.0.1.7 directory, containing several
-subdirectories. The file <tt>splint-3.0.1.7/bin/splint</tt> is the Splint binary.
+This will create a splint-3.1.0 directory, containing several
+subdirectories. The file <tt>splint-3.1.0/bin/splint</tt> is the Splint binary.