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