--- doc/manual/Makefile.orig	Tue Mar 18 16:30:54 2003
+++ doc/manual/Makefile	Sat Apr 26 23:38:34 2003
@@ -1,11 +1,7 @@
 #
 # This is the main makefile for documentation
 
-prefix = /usr
-docdir = $(prefix)/share/doc/packages
-INSTALL = install -m 0644
-INSTALLDIR = install -d 
-MAKE = make
+docdir = ${PREFIX}/share/doc
 
 default: 
 	$(MAKE) -C de
