diff --git a/docs/tools/temp_file b/docs/tools/temp_file
deleted file mode 100644
index b7f212221cd..00000000000
--- a/docs/tools/temp_file
+++ /dev/null
@@ -1 +0,0 @@
-temporary file
\ No newline at end of file