--- src/pkg/dotty/makefile.orig	Tue Dec 22 19:39:19 1998
+++ src/pkg/dotty/makefile	Mon Jun 28 13:56:34 1999
@@ -15,11 +15,11 @@
 
 install: $(LIB_SCRIPTS) $(BIN_SCRIPTS)
 	$(MKPATH) $(LIBDIR)/$(PACKAGE)
-	$(INSTALL) $(LIB_SCRIPTS) $(LIBDIR)/$(PACKAGE)
+	$(INSTALL_DATA) $(LIB_SCRIPTS) $(LIBDIR)/$(PACKAGE)
 	$(MKPATH) $(BINDIR)
-	$(INSTALL) $(BIN_SCRIPTS) $(BINDIR)
+	$(INSTALL_SCRIPT) $(BIN_SCRIPTS) $(BINDIR)
 	$(MKPATH) $(MANDIR)
-	$(INSTALL) dotty.1 $(MANDIR)
+	$(INSTALL_MAN) dotty.1 $(MANDIR)
 
 clean:
 	true
