diff options
Diffstat (limited to 'distribution/Makefile')
| -rw-r--r-- | distribution/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/distribution/Makefile b/distribution/Makefile new file mode 100644 index 0000000..0a202ea --- /dev/null +++ b/distribution/Makefile @@ -0,0 +1,6 @@ +SUBDIRS = `ls -1 | grep -v *.tex | grep -v Makefile | grep -v TODO` + +all clean:: + for dir in $(SUBDIRS) ; do \ + (cd $$dir && make $@); \ + done |