--- doc/Makefile.orig Thu Nov 12 17:51:30 1998 +++ doc/Makefile Thu Nov 12 17:54:24 1998 @@ -19,7 +19,7 @@ # most of the stuff here is machine independent .EXPORT: -MANDIR = /usr/local/man +MANDIR = $(PREFIX)/man MANEXT1 = 1 MANEXT8 = 8