1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 45d67c6..9cd39ec 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@ include Makefile.dirs
 all:
 	@for i in $(MIXED_DIRS) ; \
 		do ( if [ -d $$i ] ; then cd $$i; $(MAKE) ; fi ) ; done
-	cd doc/src; $(MAKE)
+	@if [ -d doc/src ] ; then cd doc/src ; $(MAKE) ; fi
 
 clean cleanall:
 	@for i in $(MIXED_DIRS) ; \