I pushed the discussed documentation improvements, and changed the behavior of "ninja docs" to only build the HTML docs. However, I've not done anything about documenting what is the minimum ninja version. regards, tom lane
pgsql-hackers by date:
Соглашаюсь с условиями обработки персональных данных