update Makefile

6e77cbda · Ralf Jung · a5f64d17 · 6e77cbda
Commit 6e77cbda authored Dec 15, 2018 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 2 deletions

Makefile Makefile +1 -2

No files found.
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,7 @@ clean: Makefile.coq
 .PHONY: clean

 # Create Coq Makefile.
-Makefile.coq: _CoqProject Makefile awk.Makefile
+Makefile.coq: _CoqProject Makefile
 	"$(COQBIN)coq_makefile" -f _CoqProject -o Makefile.coq

 # Install build-dependencies
@@ -42,7 +42,6 @@ build-dep: build-dep/opam phony
 # Some files that do *not* need to be forwarded to Makefile.coq
 Makefile: ;
 _CoqProject: ;
-awk.Makefile: ;
 opam: ;

 # Phony wildcard targets