diff options
Diffstat (limited to 'protocols/Makefile')
| -rw-r--r-- | protocols/Makefile | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/protocols/Makefile b/protocols/Makefile deleted file mode 100644 index 0a202ea..0000000 --- a/protocols/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 |