diff --git a/extra/tools/walker/interpreter-docs.factor b/extra/tools/walker/interpreter-docs.factor
deleted file mode 100755
index 8b13789179..0000000000
--- a/extra/tools/walker/interpreter-docs.factor
+++ /dev/null
@@ -1 +0,0 @@
-