Add 'docs' to .PHONY.

Fixes Makefile claiming that 'docs' is up to date because it thinks we're
asking it to build 'docs' directory instead of simply running cargo for us.
This commit is contained in:
Nick Lewycky 2019-09-03 16:18:02 -07:00
parent 5f1de897ad
commit f785fe2e95

View File

@ -1,4 +1,4 @@
.PHONY: spectests emtests clean build install lint precommit
.PHONY: spectests emtests clean build install lint precommit docs
# Generate files
generate-spectests: