diff options
author | 2001-04-16 11:09:31 +0000 | |
---|---|---|
committer | 2001-04-16 11:09:31 +0000 | |
commit | a887ce2613b9d223fa7d193a6e8b851f02cad988 (patch) | |
tree | fde3fb4f423f6ec49ae01ebc27cef4cde48af002 | |
parent | 6c18bf0ccea88b0cfb760a57fa709c4464204ae7 (diff) |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1598 85f007b7-540e-0410-9357-904b9bb8a0f7
-rwxr-xr-x | tools/coqdep.1 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/coqdep.1 b/tools/coqdep.1 index 342a52d66..01d080fc2 100755 --- a/tools/coqdep.1 +++ b/tools/coqdep.1 @@ -92,7 +92,7 @@ be used. .SH SEE ALSO -.BR camlc (1), +.BR ocamlc (1), .BR coqc (1), .BR make (1). .br @@ -179,4 +179,4 @@ example% coqdep -c -I . *.ml .SH BUGS Please report any bug to -.B coq@pauillac.inria.fr +.B coq-bugs@pauillac.inria.fr |