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