Merge pull request #25 from matthiasbeyer/remove-makefile

Remove Makefile
This commit is contained in:
Scott Boggs 2022-12-28 09:42:32 -05:00 committed by GitHub
commit 08357919e5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 8 deletions

View File

@ -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