diff --git a/dev-docs.json b/dev-docs.json
new file mode 100644
index 0000000000..2c63c08510
--- /dev/null
+++ b/dev-docs.json
@@ -0,0 +1,2 @@
+{
+}