$NetBSD: patch-aa,v 1.1.1.1 2004/01/27 10:56:57 jlam Exp $

--- Makefile.orig	Mon Aug 19 17:15:04 2002
+++ Makefile	Tue Jan 27 05:50:28 2004
@@ -65,14 +65,12 @@
 ######################################################################
 # Installation
 
-INSTALLDIR = $(HOME)/bin/
+INSTALLDIR = $(PREFIX)/bin/
 
 install: $(NAME)$(EXEC_EXT)
-	-mv $(INSTALLDIR)/$(NAME)$(EXEC_EXT) /tmp/$(NAME)-$(shell echo $$$$)
 	cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)
-	cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)$(NAME)-$(VERSION)$(EXEC_EXT)
-	@# If we're running at Penn, install a public version too
-	if [ -d /plclub/bin ]; then cp $(NAME)$(EXEC_EXT) /plclub/bin/$(NAME)-$(VERSION)$(EXEC_EXT); fi
+#HF#	@# If we're running at Penn, install a public version too
+#HF#	if [ -d /plclub/bin ]; then cp $(NAME)$(EXEC_EXT) /plclub/bin/$(NAME)-$(VERSION)$(EXEC_EXT); fi
 
 
 ######################################################################
@@ -234,7 +232,7 @@
 tags:
 	-$(ETAGS) *.mli */*.mli *.ml */*.ml *.txt 
 
-all:: TAGS
+# all:: TAGS
 
 TAGS: 
 	$(MAKE) tags