diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..1c9c7fb --- /dev/null +++ b/Makefile @@ -0,0 +1,8 @@ +DOCS := $(PWD)/docs + +book: $(DOCS)/guide/index.html + +$(DOCS)/guide/index.html: $(DOCS)/src/*.md + cd docs && mdbook build + +.PHONY: book