diff --git a/Documentation.txt b/Documentation.txt
new file mode 100644
index 0000000000..2d81d3bb6f
--- /dev/null
+++ b/Documentation.txt
@@ -0,0 +1 @@
+ops