diff --git a/web/Makefile b/web/Makefile new file mode 100644 index 0000000..419684e --- /dev/null +++ b/web/Makefile @@ -0,0 +1,5 @@ +# Invokes Makefile in top-level directory +all: + $(MAKE) -C .. $@ +%: + $(MAKE) -C .. $@