Turn off tidy indent on docs older than 11

It seems the newer tidy in Debian Stretch breaks with the output from
the old docs toolchain, causing indention to happen inside <pre> blocks
which clearly breaks rendering.

Turn it off for thos, but keep it enabled for version 11 and up (at this
point that's just dev), because the output becomes a lot easier to read
when trying to debug things.

diff --git a/tools/docs/docload.py b/tools/docs/docload.py
index 6cdadb8d0f4de2a0db4459bf4ad0b6d8bf40ee44..2965f9c8b78a1b34a61fa419756fa98482000500 100755 (executable)
--- a/tools/docs/docload.py
+++ b/tools/docs/docload.py
@@ -40,6 +40,12 @@ def load_doc_file(filename, f):
        else:
                encoding = 'latin1'
 
+       # PostgreSQL prior to 11 used an older toolchain to build the docs, which does not support
+       # indented HTML. So turn it off on those, but keep it on the newer versions where it works,
+       # because it makes things a lot easier to debug.
+       if float(ver) < 11 and float(ver) > 0:
+               tidyopts['indent'] = 'no'
+
        contents = unicode(rawcontents, encoding)
 
        tm = re_titlematch.search(contents)