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
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