blob: 3366fec2c2ea5834dd976036b21a487023f07c90 (
plain) (
tree)
|
|
--- Makefile.orig Tue Jul 29 15:36:52 1997
+++ Makefile Thu Jul 31 16:17:26 1997
@@ -35,7 +35,7 @@
#INSTALL= /usr/ucb/install
#INSTALL= /usr/local/gnu/bin/install
-DEST = /usr/local
+DEST = $(PREFIX)
BIN = $(DEST)/bin
MAN = $(DEST)/man
|