We now use DocBook instead of Texinfo. Update (developer?) docs accordingly.
Log in to post a comment.