--- Makefile.in.orig	Sat Jun 23 13:55:47 2001
+++ Makefile.in	Mon Jul  2 21:43:00 2001
@@ -22,9 +22,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
