diff options
Diffstat (limited to 'protocols/Makefile')
| -rw-r--r-- | protocols/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/protocols/Makefile b/protocols/Makefile index 72cada2..c0c47ad 100644 --- a/protocols/Makefile +++ b/protocols/Makefile @@ -1,4 +1,4 @@ -SUBDIRS = `ls -1` +SUBDIRS = `ls -1 | grep -v *.tex | grep -v Makefile` all clean:: for dir in $(SUBDIRS) ; do \ |