diff --git a/awk.Makefile b/awk.Makefile
index 09ded0aa64f3a85ee4a55668d21ee17bb9a362f0..0ba40e7f0bab889ea0ba67c8155d1fbce90b0d29 100644
--- a/awk.Makefile
+++ b/awk.Makefile
@@ -9,6 +9,11 @@
 	PROJECT=PIECES[2];
 }
 
+# Set the missing variable VFILES0 so that .v files are installed.
+/^VOFILES0=/ {
+	print "VFILES0=$(patsubst theories/%,%,$(filter theories/%,$(VFILES)))"
+}
+
 # Patch the uninstall target to work properly, and to also uninstall stale files.
 # Also see <https://coq.inria.fr/bugs/show_bug.cgi?id=4907>.
 /^uninstall:/ {