diff options
| author | Kartik Singhal | 2020-05-10 12:09:23 -0500 |
|---|---|---|
| committer | Kartik Singhal | 2020-05-10 12:12:46 -0500 |
| commit | 844142c5412a749921cb755a6a4110af5200742d (patch) | |
| tree | b85fd47e262edecd61db03177b8aa0affb32221b /man/coqchk.1 | |
| parent | aab47903fb2d3e0085b03d5ade94f4ae644cd76c (diff) | |
Remove (outdated) timestamps from man pages
Diffstat (limited to 'man/coqchk.1')
| -rw-r--r-- | man/coqchk.1 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man/coqchk.1 b/man/coqchk.1 index f9241c0d47..2f9e1fd84d 100644 --- a/man/coqchk.1 +++ b/man/coqchk.1 @@ -1,4 +1,4 @@ -.TH COQ 1 "July 7, 201" +.TH COQ 1 .SH NAME coqchk \- The Coq Proof Checker compiled libraries verifier @@ -29,7 +29,7 @@ short or qualified logical name, or by their filename. .TP .BI \-I \ dir, \ \-\-include \ dir -add directory +add directory .I dir in the include path |