[gcc/marxin/heads/sphinx-v7] (7 commits) sphinx,ada: port to Sphinx

[Martin Liska]

The branch 'marxin/heads/sphinx-v7' was updated to point to:

 a7ca2989bc0... sphinx,ada: port to Sphinx

It previously pointed to:

 1318aec1dd7... sphinx,ada: port to Sphinx

Diff:

!!! WARNING: THE FOLLOWING COMMITS ARE NO LONGER ACCESSIBLE (LOST):
-------------------------------------------------------------------

  1318aec... sphinx,ada: port to Sphinx
  18fafb1... sphinx: port libgccjit to shared Sphinx
  964ae29... sphinx: remove texinfo files
  51112e3... sphinx: add tm.rst.in.
  0466fbf... sphinx: support Sphinx in build system
  48fbe37... sphinx: use tm.rst.in file in target macros
  33eaf82... sphinx: port .def files to RST


Summary of changes (added commits):
-----------------------------------

  a7ca298... sphinx,ada: port to Sphinx
  83dcd4f... sphinx: port libgccjit to shared Sphinx
  edf4b45... sphinx: remove texinfo files
  27a34e1... sphinx: add tm.rst.in.
  f5af502... sphinx: support Sphinx in build system
  b3ab8c9... sphinx: use tm.rst.in file in target macros
  dc08405... sphinx: port .def files to RST