--- man/parser.1 2001-04-25 09:51:01.000000000 -0400
+++ man/parser.1 2008-08-05 12:21:00.000000000 -0400
@@ -1,18 +1,18 @@
.TH COQ 1 "April 25, 2001"
.SH NAME
-parser \- Coq parser
+coq-parser \- Coq parser
.SH SYNOPSIS
-.B parser
+.B coq-parser
[
.B options
]
.SH DESCRIPTION
-.B parser
+.B coq-parser
is a program reading Coq proof developments and outputing them in the
structured format given in the INRIA technical report RT154. This
program is not for the casual user.