--- Makefile.orig	Mon Sep 25 19:04:31 2000
+++ Makefile	Wed Oct 25 20:48:53 2000
@@ -62,12 +62,12 @@
 ######################################################################
 # Installation
 
-INSTALLDIR = $(HOME)/bin/
+INSTALLDIR = ${PREFIX}/bin/
 
 install: $(NAME)$(EXEC_EXT)
-	-mv $(INSTALLDIR)/$(NAME)$(EXEC_EXT) /tmp/$(NAME)-$(shell echo $$$$)
+#	-mv $(INSTALLDIR)/$(NAME)$(EXEC_EXT) /tmp/$(NAME)-$(shell echo $$$$)
 	cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)
-	cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)$(NAME)-$(VERSION)$(EXEC_EXT)
+#	cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)$(NAME)-$(VERSION)$(EXEC_EXT)
 
 ######################################################################
 # Demo
@@ -204,7 +204,7 @@
 tags:
 	-$(ETAGS) *.ml *.mli
 
-all:: TAGS
+# all:: TAGS
 
 TAGS: 
 	$(MAKE) tags
