diff --git a/doc/src/sgml/S-Tree_indexes.html.gz b/doc/src/sgml/S-Tree_indexes.html.gz deleted file mode 100644 index c19f0e44ad..0000000000 Binary files a/doc/src/sgml/S-Tree_indexes.html.gz and /dev/null differ