From 4d0db5caad708ab2e2dd7d366f0b89aaaa6f5bd9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Wed, 1 Aug 2018 17:40:53 +0200 Subject: [PATCH] Add root makefile --- Makefile | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..e32a065 --- /dev/null +++ b/Makefile @@ -0,0 +1,6 @@ +all: report + +.PHONY: report +report: + $(MAKE) -C report + ln -sf report/report.pdf .