diff --git a/Makefile b/Makefile
index 449e193733ff62e73be378f39df516c663895c44..942b24c837f50b409cecb927a20c148e545f6af7 100644
--- a/Makefile
+++ b/Makefile
@@ -1,11 +1,14 @@
-# Forward most targets to Coq makefile (with some trick to make this phony)
-%: Makefile.coq phony
-	+@make -f Makefile.coq $@
-
 all: Makefile.coq
 	+@make -f Makefile.coq all
 .PHONY: all
 
+# Permit local customization
+-include Makefile.local
+
+# Forward most targets to Coq makefile (with some trick to make this phony)
+%: Makefile.coq phony
+	+@make -f Makefile.coq $@
+
 clean: Makefile.coq
 	+@make -f Makefile.coq clean
 	find theories tests \( -name "*.d" -o -name "*.vo" -o -name "*.aux" -o -name "*.cache" -o -name "*.glob" -o -name "*.vio" \) -print -delete || true
@@ -43,10 +46,10 @@ build-dep: builddep
 .PHONY: build-dep
 
 
-# Some files that do *not* need to be forwarded to Makefile.coq
-Makefile: ;
-_CoqProject: ;
-opam: ;
+# Some files that do *not* need to be forwarded to Makefile.coq.
+# ("::" lets Makefile.local overwrite this.)
+Makefile Makefile.local _CoqProject $(OPAMFILES):: ;
+
 
 # Phony wildcard targets
 phony: ;