--- Makefile	2007-11-12 10:10:25.000000000 -0500

+++ Makefile	2008-06-17 00:43:48.000000000 -0400

@@ -431,6 +431,7 @@

 	$(SHOW)'OCAMLOPT -o $@'	

 	$(HIDE)$(OCAMLOPT) $(OPTFLAGS) -o $@ str.cmxa unix.cmxa \

           $(COQMKTOPCMX) $(OSDEPLIBS)

+	$(STRIP) $@

 $(COQMKTOP): $(BESTCOQMKTOP)

 	cd bin; ln -sf coqmktop.$(BEST)$(EXE) coqmktop$(EXE)

@@ -457,6 +458,7 @@

 $(COQCOPT): $(COQCCMX) $(COQTOPOPT) $(BESTCOQTOP)

 	$(SHOW)'OCAMLOPT -o $@'

 	$(HIDE)$(OCAMLOPT) $(OPTFLAGS) -o $@ unix.cmxa $(COQCCMX) $(OSDEPLIBS)

+	$(STRIP) $@

 $(COQC): $(BESTCOQC)

 	cd bin; ln -sf coqc.$(BEST)$(EXE) coqc$(EXE)

@@ -746,6 +748,7 @@

 bin/coq-interface.opt$(EXE): $(COQMKTOP) $(LINKCMX) $(LIBCOQRUN) $(USERTACCMX) $(INTERFACECMX)

 	$(SHOW)'COQMKTOP -o $@'

 	$(HIDE)$(COQMKTOP) -opt $(OPTFLAGS) -o $@ $(INTERFACECMX)

+	$(STRIP) $@

 PARSERCODE=contrib/interface/line_parser.cmo contrib/interface/vtp.cmo \

            contrib/interface/xlate.cmo contrib/interface/parse.cmo

@@ -761,6 +764,7 @@

 	$(SHOW)'OCAMLOPT -o $@'

 	$(HIDE)$(OCAMLOPT) -linkall $(OPTFLAGS) -o $@ \

 	  $(LIBCOQRUN) $(CMXA) $(PARSERCMX)

+	$(STRIP) $@

 INTERFACEVO=