]> andersk Git - splint.git/commitdiff
Committing Evans's update of man page to fix problems reported by ESR.
authordrl7x <drl7x>
Mon, 31 Mar 2003 18:19:38 +0000 (18:19 +0000)
committerdrl7x <drl7x>
Mon, 31 Mar 2003 18:19:38 +0000 (18:19 +0000)
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.044057 seconds and 5 git commands to generate.