On Sep 17, 2014, at 6:22 PM, David Malcolm wrote:
> I greatly prefer to use Sphinx over Texinfo, both for the ease of
> editing, and the quality of the generated HTML; I already use it for
> both the Python bindings to libgccjit, and for gcc-python-plugin.
> Hence I've used Sphinx for these docs.
I've written documentation for the JIT API, in the form of a tutorial
together with a more in-depth set of topic guides.
I greatly prefer to use Sphinx over Texinfo, both for the ease of
editing, and the quality of the generated HTML; I already use it for
both the Python bindings to libgccjit, and
