From d9fa3bb11966e69dc7734ebac678570c7732e74b Mon Sep 17 00:00:00 2001 From: glondu Date: Fri, 8 Aug 2008 14:44:12 +0000 Subject: Various fixes in manpages * hyphen meant as the ascii character should be escaped * lines starting with a dot have a special meaning git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11322 85f007b7-540e-0410-9357-904b9bb8a0f7 --- man/coqwc.1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'man/coqwc.1') diff --git a/man/coqwc.1 b/man/coqwc.1 index 7011d1481..4594aeecb 100644 --- a/man/coqwc.1 +++ b/man/coqwc.1 @@ -44,4 +44,4 @@ Do not skip headers .SH BUGS Please report any bug to -.B coq-bugs@pauillac.inria.fr +.B coq\-bugs@pauillac.inria.fr -- cgit v1.2.3