--- Makefile.orig	Wed Oct 17 06:20:48 2001
+++ Makefile	Sun Feb 24 01:42:57 2002
@@ -24,9 +24,10 @@
 
 install:
 	cd bin; $(MAKE) install
-	cd doc; $(MAKE) install
 	cd etc; $(MAKE) install
 	cd src; $(MAKE) install
+install-doc:
+	cd doc; $(MAKE) install
 
 uninstall:
 	cd bin; $(MAKE) uninstall
