1 files changed, 0 insertions, 1 deletions
diff --git a/bootstrap b/bootstrap
index e9cb851779..455f6422fd 100755
--- a/bootstrap
+++ b/bootstrap
@@ -223,7 +223,6 @@ clean)
       needles="$needles install-sh"
       needles="$needles missing"
       needles="$needles mdate-sh"
-      needles="$needles texinfo.tex"
     fi
     for j in $needles; do
       files=`find . -name "$j" -print`