jit: fix sphinx formatting issues in docs
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 25 May 2020 13:13:16 +0000 (09:13 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 26 May 2020 14:57:24 +0000 (10:57 -0400)
commit0981cf960d07752f9844a2f2799fbc85a7f1efd8
treea9e4b8515743d9c54d14219ebdea1214e530c691
parent6f7585deedc140667fd496b48c9fc4f7d625605c
jit: fix sphinx formatting issues in docs

gcc/jit/ChangeLog:
* docs/topics/compatibility.rst: Fix underline.
Fix missing labels.
* docs/topics/types.rst: Fix missing blank line.
* docs/_build/texinfo/libgccjit.texi: Regenerate.
gcc/jit/docs/_build/texinfo/libgccjit.texi
gcc/jit/docs/topics/compatibility.rst
gcc/jit/docs/topics/types.rst