--- Makefile.orig	Tue Sep 26 06:38:32 2000
+++ Makefile	Fri Sep 29 14:17:52 2000
@@ -5,7 +5,7 @@
 CC    = cc
 CFLAGS= -O
 
-DESTDIR = /usr/local
+DESTDIR = $(PREFIX)
 prefix = $(DESTDIR)
 exec_prefix = $(prefix)/bin
 man_prefix = $(prefix)/man/man$(manext)
