--- cmd/dotty/makefile.orig	Wed May 21 22:12:20 1997
+++ cmd/dotty/makefile	Thu Feb  5 09:46:51 1998
@@ -4,8 +4,8 @@
 include ../../makearch/$(ARCH)
 
 install :
-	$(INSTALL) dotty $(BINDIR)
+	$(INSTALL_SCRIPT) dotty $(BINDIR)
 	-$(MKDIR) $(LIBDIR)/lefty
-	$(INSTALL) dotty.lefty dotty_draw.lefty dotty_edit.lefty \
+	$(INSTALL_DATA) dotty.lefty dotty_draw.lefty dotty_edit.lefty \
 		dotty_layout.lefty dotty_ui.lefty $(LIBDIR)/lefty
-	$(INSTALL) dotty.1 $(MANDIR)/dotty.$(MANEXT)
+	$(INSTALL_MAN) dotty.1 $(MANDIR)/dotty.$(MANEXT)
