From: drl7x Date: Mon, 31 Mar 2003 18:19:38 +0000 (+0000) Subject: Committing Evans's update of man page to fix problems reported by ESR. X-Git-Tag: splint-3_1_0~26 X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/028230a4017e67c2de99d101f97b7c2e1f21e2a8 Committing Evans's update of man page to fix problems reported by ESR. --- diff --git a/doc/splint.1 b/doc/splint.1 index ab72662..c6e12ae 100644 --- 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 -.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)