diff options
| author | Maxime Dénès | 2017-12-07 10:37:18 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-12-07 10:37:18 +0100 |
| commit | c8f6903de4d9debb3fe38755a3f5e7b558a014e2 (patch) | |
| tree | a3fcda963f4c448b3a56b17cb4c861acdbd4ab61 /man | |
| parent | f6751c59467e3a25f9318a1f8b74f768924f4892 (diff) | |
| parent | 9c0f36adac233efb1164ef88c86c78c7509d8b2c (diff) | |
Merge PR #6277: Qualified import in coqchk
Diffstat (limited to 'man')
| -rw-r--r-- | man/coqchk.1 | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/man/coqchk.1 b/man/coqchk.1 index a00914eab8..f9241c0d47 100644 --- a/man/coqchk.1 +++ b/man/coqchk.1 @@ -34,13 +34,17 @@ add directory in the include path .TP -.BI \-R \ dir\ coqdir -recursively map physical +.BI \-Q \ dir\ coqdir +map physical .I dir to logical .I coqdir .TP +.BI \-R \ dir\ coqdir +synonymous for -Q + +.TP .BI \-silent makes coqchk less verbose. |