From acbfd21fab2f548cce5fa126a05cdeacb108f906 Mon Sep 17 00:00:00 2001 From: Florian Fischer Date: Mon, 19 Oct 2020 15:57:32 +0200 Subject: add top level Makefile and clean target to rules/Makefile --- Makefile | 10 ++++++++++ rules/Makefile | 9 +++++++-- 2 files changed, 17 insertions(+), 2 deletions(-) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 00000000..d2d52fcc --- /dev/null +++ b/Makefile @@ -0,0 +1,10 @@ +MAKEDIRS = $(shell dirname $(shell find . -mindepth 2 -name Makefile)) + +.PHONY: all clean + +all: + for dir in $(MAKEDIRS); do $(MAKE) -C $$dir; done + +clean: + for dir in $(MAKEDIRS); do $(MAKE) -C $$dir clean; done + diff --git a/rules/Makefile b/rules/Makefile index da130831..f5fa401e 100644 --- a/rules/Makefile +++ b/rules/Makefile @@ -1,6 +1,11 @@ -.PHONY: all +.PHONY: all clean -all: rules.html maps.html +HTML = rules.html maps.html + +all: $(HTML) %.html: %.md Makefile pandoc --toc $*.md -s -o $@ + +clean: + rm $(HTML) -- cgit v1.2.3