From f080353530df9d6b4a3eb757dc9bed978f57710e Mon Sep 17 00:00:00 2001 From: Jonathan Yong Date: Fri, 6 Oct 2023 12:51:05 +0100 Subject: [PATCH] Add convenience Makefile in web subdirectory --- web/Makefile | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 web/Makefile 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 .. $@