On Sun, Feb 22, 2015 at 8:15 PM, Arnaud Charlet <char...@adacore.com> wrote: >> 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.
I also see nonsensical @direntry - just compare to what is there on the 4.9 branch. Richard. > Arno