Remove MIME type from HTML table format.

I did not realize when I added this that it would mean that ALL
files detected as text/html would be handled this way.

Should fix #11087. But it is the right thing to do anyway.

diff --git a/lib/configure.py b/lib/configure.py
index d1989d188096ff5066afc2afa872d56eaf8a7645..6c1e20a3f9afef7682aff08d91b922907964bf08 100644 (file)
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -692,7 +692,7 @@ def checkFormatEntries(dtl_tools):
       rc_entry = [r'''\Format gnumeric gnumeric "Gnumeric spreadsheet" "" ""    "%%"   "document"      "application/x-gnumeric"
 \Format excel      xls    "Excel spreadsheet"      "" "" "%%"    "document"    "application/vnd.ms-excel"
 \Format excel2     xlsx   "MS Excel Office Open XML" "" "" "%%" "document"     "application/vnd.openxmlformats-officedocument.spreadsheetml.sheet"
-\Format html_table html   "HTML Table (for spreadsheets)"      "" "" "%%"    "document"        "text/html"
+\Format html_table html   "HTML Table (for spreadsheets)"      "" "" "%%"    "document"        ""
 \Format oocalc     ods    "OpenDocument spreadsheet" "" "" "%%"    "document"  "application/vnd.oasis.opendocument.spreadsheet"'''])
  #
     checkViewer('an HTML previewer', ['firefox', 'mozilla file://$$p$$i', 'netscape'],