--- Makefile	2007-11-12 10:10:25.000000000 -0500
+++ Makefile	2008-08-05 12:14:47.000000000 -0400
@@ -732,9 +732,9 @@
 PARSERREQUIRESCMX=$(LINKCMX)
 
 ifeq ($(BEST),opt)
-  COQINTERFACE=bin/coq-interface$(EXE) bin/coq-interface.opt$(EXE) bin/parser$(EXE) bin/parser.opt$(EXE)
+  COQINTERFACE=bin/coq-interface$(EXE) bin/coq-interface.opt$(EXE) bin/coq-parser$(EXE) bin/coq-parser.opt$(EXE)
 else
-  COQINTERFACE=bin/coq-interface$(EXE) bin/parser$(EXE)
+  COQINTERFACE=bin/coq-interface$(EXE) bin/coq-parser$(EXE)
 endif
 
 pcoq-binaries:: $(COQINTERFACE) 
@@ -752,12 +752,12 @@
 PARSERCMO=$(PARSERREQUIRES) $(PARSERCODE)
 PARSERCMX= $(PARSERREQUIRESCMX) $(PARSERCODE:.cmo=.cmx)
 
-bin/parser$(EXE):$(LIBCOQRUN) $(PARSERCMO)
+bin/coq-parser$(EXE):$(LIBCOQRUN) $(PARSERCMO)
 	$(SHOW)'OCAMLC -o $@'
 	$(HIDE)$(OCAMLC) -custom -linkall $(BYTEFLAGS) -o $@ \
 	  dynlink.cma $(LIBCOQRUN) $(CMA) $(PARSERCMO)
 
-bin/parser.opt$(EXE): $(LIBCOQRUN) $(PARSERCMX)
+bin/coq-parser.opt$(EXE): $(LIBCOQRUN) $(PARSERCMX)
 	$(SHOW)'OCAMLOPT -o $@'
 	$(HIDE)$(OCAMLOPT) -linkall $(OPTFLAGS) -o $@ \
 	  $(LIBCOQRUN) $(CMXA) $(PARSERCMX)
@@ -769,7 +769,7 @@
 pcoq-files:: $(INTERFACEVO) $(INTERFACERC)
 
 clean::
-	rm -f bin/parser$(EXE) bin/parser.opt$(EXE) bin/coq-interface$(EXE) bin/coq-interface.opt$(EXE)
+	rm -f bin/coq-parser$(EXE) bin/coq-parser.opt$(EXE) bin/coq-interface$(EXE) bin/coq-interface.opt$(EXE)
 
 # install targets
 install-pcoq:: install-pcoq-binaries install-pcoq-files install-pcoq-manpages
@@ -782,7 +782,7 @@
 	$(MKDIR) $(FULLCOQLIB)/contrib/interface
 	cp $(INTERFACERC) $(FULLCOQLIB)/contrib/interface
 
-PCOQMANPAGES=man/coq-interface.1 man/parser.1
+PCOQMANPAGES=man/coq-interface.1 man/coq-parser.1
 
 install-pcoq-manpages:
 	$(MKDIR) $(FULLMANDIR)/man1