diff options
| -rw-r--r-- | Makefile | 10 | ||||
| -rw-r--r-- | rules/Makefile | 9 |
2 files changed, 17 insertions, 2 deletions
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) |