diff --git a/m4/DUMMY b/m4/DUMMY
new file mode 100644
index 000000000..fda557ad9
--- /dev/null
+++ b/m4/DUMMY
@@ -0,0 +1 @@
+Dummply placeholder.