From f785fe2e956ca587e21474017a15dec56282b70d Mon Sep 17 00:00:00 2001 From: Nick Lewycky Date: Tue, 3 Sep 2019 16:18:02 -0700 Subject: [PATCH] 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. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 7e6a431d0..d8553e592 100644 --- a/Makefile +++ b/Makefile @@ -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: