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
