diff options
author | Stephane Glondu <steph@glondu.net> | 2008-09-08 00:15:04 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2008-09-08 00:16:06 +0200 |
commit | 5c6894942e4de978963144606e89db432c306625 (patch) | |
tree | a8f1fe2e658c9ba460f1c9af99393d9af21b2dfd /man/coqdep.1 | |
parent | 745e0fb3b3bc4c435870f1af25c22d495fac9f29 (diff) | |
parent | 113b703a695acbe31ac6dd6a8c4aa94f6fda7545 (diff) |
Merge commit 'upstream/8.2.beta4.svn20080907+dfsg'
Diffstat (limited to 'man/coqdep.1')
-rw-r--r-- | man/coqdep.1 | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/man/coqdep.1 b/man/coqdep.1 index 6ae89f8b..e2cbb40e 100644 --- a/man/coqdep.1 +++ b/man/coqdep.1 @@ -67,7 +67,7 @@ Prints a warning if a Coq command .IR Module \& is incorrect. (For instance, you wrote `Declare ML Module "A".', but the module A contains #open "B"). The correct command is printed -(see option -D). The warning is printed on standard error. +(see option \-D). The warning is printed on standard error. .TP .BI \-i Prints also the dependencies for .vi files (Coq specification modules). @@ -138,7 +138,7 @@ Z.v contains the commands `Require X' and `Declare ML Module "D"'. To get the dependencies of the Coq files: .IP .B -example% coqdep -I . *.v +example% coqdep \-I . *.v .RS .sp .5 .nf @@ -153,7 +153,7 @@ example% coqdep -I . *.v With a warning: .IP .B -example% coqdep -w -I . *.v +example% coqdep \-w \-I . *.v .RS .sp .5 .nf @@ -170,7 +170,7 @@ example% coqdep -w -I . *.v To get only the Caml dependencies: .IP .B -example% coqdep -c -I . *.ml +example% coqdep \-c \-I . *.ml .RS .sp .5 .nf @@ -190,4 +190,4 @@ example% coqdep -c -I . *.ml .SH BUGS Please report any bug to -.B coq-bugs@pauillac.inria.fr +.B coq\-bugs@pauillac.inria.fr |