From 40e4751aa2b59f31504d2886a128b195899fe85d Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 20 Apr 2018 18:53:14 -0400 Subject: Fix the lite-display target --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index b8989ace4..5492ca1a9 100644 --- a/Makefile +++ b/Makefile @@ -133,7 +133,7 @@ specific: $(SPECIFIC_VO) coqprime non-specific: $(NON_SPECIFIC_VO) coqprime coq: $(COQ_VOFILES) coqprime lite: $(LITE_VOFILES) coqprime -lite-display: $(LITE_DISPLAY_VOFILES:Display.vo=.log) coqprime +lite-display: $(LITE_DISPLAY_VOFILES:.vo=.log) coqprime only-heavy: $(HEAVY_VOFILES) coqprime curves-proofs: $(CURVES_PROOFS_VOFILES) coqprime no-curves-proofs: $(NO_CURVES_PROOFS_VOFILES) coqprime -- cgit v1.2.3