diff --git a/doc/gnu_docs/index.html b/doc/gnu_docs/index.html
index 7866ec7947..8423ca555c 100644
--- a/doc/gnu_docs/index.html
+++ b/doc/gnu_docs/index.html
@@ -41,11 +41,6 @@
GNU Binary Utilities
-