Committing Evans's update of man page to fix problems reported by ESR.

diff --git a/doc/splint.1 b/doc/splint.1
index ab72662e176b886db92349aea640ecde88306e45..c6e12ae277ae1b72ec1f10bf997418c98dc441a8 100644 (file)
--- a/doc/splint.1
+++ b/doc/splint.1
@@ -259,14 +259,12 @@ strict checking.
 
 .SH AUTHOR
 If you need to get in contact with the authors send email to
 
 .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 
 
 or visit 

-.UR
-http://www.splint.org
-.UR
+.UR http://www.splint.org
+.UE

 
 .SH "SEE ALSO"
 lint(1)
 
 .SH "SEE ALSO"
 lint(1)