diff --git a/protocols/Makefile b/protocols/Makefile new file mode 100644 index 0000000..1efe0bd --- /dev/null +++ b/protocols/Makefile @@ -0,0 +1,8 @@ +all: schema-bundle.bin + +clean: + rm -f schema-bundle.bin + +schema-bundle.bin: schemas/*.prs + preserves-schemac schemas/*.prs > $@.tmp + mv $@.tmp $@