From 028230a4017e67c2de99d101f97b7c2e1f21e2a8 Mon Sep 17 00:00:00 2001 From: drl7x Date: Mon, 31 Mar 2003 18:19:38 +0000 Subject: [PATCH] Committing Evans's update of man page to fix problems reported by ESR. --- doc/splint.1 | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) 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) -- 2.45.0