From a84323c1f6d1e53f31ad028ae4ab4844d5730389 Mon Sep 17 00:00:00 2001 From: herbelin Date: Tue, 1 Mar 2005 11:39:52 +0000 Subject: clean de parser.opt git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6788 85f007b7-540e-0410-9357-904b9bb8a0f7 --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index e9c7e0bdb..1fe88503a 100644 --- a/Makefile +++ b/Makefile @@ -743,7 +743,7 @@ contrib7/interface/AddDad.vo: contrib7/interface/AddDad.v $(INTERFACE) states7/i $(BESTCOQTOP) $(TRANSLATE) -boot -byte $(COQOPTS) -compile $* clean:: - rm -f bin/parser$(EXE) bin/coq-interface$(EXE) bin/coq-interface.opt$(EXE) + rm -f bin/parser$(EXE) bin/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 -- cgit v1.2.3