+install:
+ cp mmlinterface mmlinterface.opt helm_wget $(BIN_DIR)
+
+distclean: clean
+ rm -f Makefile configuration.ml helm_wget configure config.log \
+ config.cache config.status
+
+dist: clean
+ rm -rf ../@PACKAGE@-@VERSION@
+ mkdir ../@PACKAGE@-@VERSION@
+ cp -r * .depend ../@PACKAGE@-@VERSION@
+ (cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)
+
+.PHONY: install distclean clean
+