diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/src/Makefile | 2 |
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 |