--- Makefile.orig	Mon Sep 24 22:45:30 2001
+++ Makefile	Mon Sep 24 22:47:52 2001
@@ -1,23 +1,27 @@
 SHELL	= /bin/sh
 
 configure_args =
-dirs	= doc lib src
+dirs	= lib src
+
+ifeq (yes,$(WITH_DOCS))
+dirs	+= doc
+endif
 
 all: config.status
-	for dir in $(dirs); do (cd $$dir; make all); done
+	for dir in $(dirs); do (cd $$dir; $(MAKE) all); done
 
 install: config.status
-	for dir in $(dirs); do (cd $$dir; make install); done
+	for dir in $(dirs); do (cd $$dir; $(MAKE) install); done
 
 clean: config.status
-	for dir in $(dirs); do (cd $$dir; make clean); done
+	for dir in $(dirs); do (cd $$dir; $(MAKE) clean); done
 
 distclean: config.status
-	for dir in $(dirs); do (cd $$dir; make distclean); done
+	for dir in $(dirs); do (cd $$dir; $(MAKE) distclean); done
 	rm -f config.cache config.log config.status
 
 clobber: config.status
-	for dir in $(dirs); do (cd $$dir; make clobber); done
+	for dir in $(dirs); do (cd $$dir; $(MAKE) clobber); done
 	for dir in $(dirs); do rm -f $$dir/Makefile; done
 	rm -f src/config.h src/config.h.in src/stamp-h.in
 	rm -f config.cache config.log config.status
