]> andersk Git - splint.git/blobdiff - doc/splint.1
Committing Evans's update of man page to fix problems reported by ESR.
[splint.git] / doc / splint.1
index ab72662e176b886db92349aea640ecde88306e45..c6e12ae277ae1b72ec1f10bf997418c98dc441a8 100644 (file)
@@ -259,14 +259,12 @@ strict checking.
 
 .SH AUTHOR
 If you need to get in contact with the authors send email to
-.UR
-mailto:info@splint.org
-.UR
+.UR mailto:info@splint.org
+.UE
 
 or visit 
-.UR
-http://www.splint.org
-.UR
+.UR http://www.splint.org
+.UE
 
 .SH "SEE ALSO"
 lint(1)
This page took 0.057506 seconds and 4 git commands to generate.