diff --git a/doc/deploy-trigger.txt b/doc/deploy-trigger.txt
new file mode 100644
index 0000000000000000000000000000000000000000..df741aa9a3c2f0a40c484ee617c0d0b5bff6427b
--- /dev/null
+++ b/doc/deploy-trigger.txt
@@ -0,0 +1 @@
+Dummy trigger file.