Marc Poulhiès <poulh...@adacore.com> writes: >> Perhaps this script could also deal directly with Sphinx-generated >> HTML? > > I investigated a bit... The Ada part doesn't handle the html target, so > it's expected you don't have anything to parse. The online docs are > generated using a different script, not using these makefiles. > > I'll see if I can fix the html target for ada, so that your script > doesn't need to be changed :) > >>> We are generating the texinfo files >>> from sphinx, so maybe we could adjust the script to also match what >>> the >>> sphinx generator produces? >> >> It *might* be as simple as pointing it at the option index for the >> generated HTML for Ada. > > That's worth a try, when/if I can fix the HTML target.
FYI, I've committed a simple patch for having the HTML documentation correctly generated when invoking "make html" (r14-6712) so maybe you can also enable it for the Ada frontend. But that will probably not produce any useful output as most compiler options for GNAT are handled in the frontend (no .opt and the actual messages are emitted without using gcc's mechanism). Marc
