In pgsql/doc/src/sgml/jadetex.cfg, install a workaround for ‘TeX capacity exceeded’ problem when building PDF output for recent versions of the documentation. There is probably a better answer out there somewhere, but we need something …