diff --git a/docs/_static/donotdelete b/docs/_static/donotdelete
deleted file mode 100644
index e69de29bb2..0000000000
diff --git a/docs/_static/donotdelete.txt b/docs/_static/donotdelete.txt
new file mode 100644
index 0000000000..d3f5a12faa
--- /dev/null
+++ b/docs/_static/donotdelete.txt
@@ -0,0 +1 @@
+