aboutsummaryrefslogtreecommitdiff
path: root/doc/src/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'doc/src/Makefile')
-rw-r--r--doc/src/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/Makefile b/doc/src/Makefile
index 4c72963..97368fd 100644
--- a/doc/src/Makefile
+++ b/doc/src/Makefile
@@ -4,5 +4,5 @@ default: all
.DEFAULT:
@for SUB_DIR in $(SUB_DIRS) ; \
- do ( if [ -d $$SUB_DIR ] ; then \
+ do ( if [ -d $$SUB_DIR ] && [ -f $$SUB_DIR/Makefile ] ; then \
cd $$SUB_DIR; $(MAKE) $@ ; fi ) ; done