diff options
-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 |