diff options
Diffstat (limited to 'man/coqwc.1')
| -rw-r--r-- | man/coqwc.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/coqwc.1 b/man/coqwc.1 index eee37f3d1f..344b1fecc5 100644 --- a/man/coqwc.1 +++ b/man/coqwc.1 @@ -1,4 +1,4 @@ -.TH COQ 1 "16 March 2004" "Coq tools" +.TH COQ 1 .SH NAME coqwc \- print the number of specification, proof and comment lines in |