On 6/28/18 13:19, Daniel Gustafsson wrote:
> Unless someone steps up before 11 is rolled, maybe builddoc.pl should be made
> into a exit immediately no-op since "nothing" is better than “broken”?
I'm thinking, just delete the file and the documentation section.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services