projects / pgweb.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc701e9) | patch
Turn off tidy indent on docs older than 11
authorMagnus Hagander <magnus@hagander.net>
Tue, 3 Apr 2018 13:04:47 +0000 (15:04 +0200)
committerMagnus Hagander <magnus@hagander.net>
Tue, 3 Apr 2018 13:04:47 +0000 (15:04 +0200)
commit6e89d2fb6662929db9bd43e8a9c49cab01f480da
treeab3b479c911ae5c0ec3b633310f3918b3d25d9fatree
parentbc701e9ff42a337afcffd080b37960be7c80e89acommit | diff
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.
tools/docs/docload.py diff | blob | blame | history
This is the code for the postgresql.org website