> Your patch removes these arguments to dircategory: > ... > $ git show bf5dffd3a47fe12ace71fe48e87cfb1b9ada1344 | grep dircategory > +@dircategory > -@dircategory GNU Ada tools > -@dircategory GNU Ada tools > +@dircategory > ...
Well OK but these are automatically generated now, and this doesn't really answer my question about the documentation of @dircategory. I'll put a kludge for now to work around this. In the long term, if we could transition all docs to sphinx and get rid of texinfo that would be great. Arno