diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/src/Makefile | 8 | ||||
| -rw-r--r-- | doc/src/Makefile.dirs | 2 | ||||
| -rw-r--r-- | doc/src/externs/keepme | 1 |
3 files changed, 11 insertions, 0 deletions
diff --git a/doc/src/Makefile b/doc/src/Makefile new file mode 100644 index 0000000..4c72963 --- /dev/null +++ b/doc/src/Makefile @@ -0,0 +1,8 @@ +include Makefile.dirs + +default: all + +.DEFAULT: + @for SUB_DIR in $(SUB_DIRS) ; \ + do ( if [ -d $$SUB_DIR ] ; then \ + cd $$SUB_DIR; $(MAKE) $@ ; fi ) ; done diff --git a/doc/src/Makefile.dirs b/doc/src/Makefile.dirs new file mode 100644 index 0000000..3bc700a --- /dev/null +++ b/doc/src/Makefile.dirs @@ -0,0 +1,2 @@ +SUB_DIRS = \ +externs diff --git a/doc/src/externs/keepme b/doc/src/externs/keepme new file mode 100644 index 0000000..8b13789 --- /dev/null +++ b/doc/src/externs/keepme @@ -0,0 +1 @@ + |