[gcc/marxin/heads/sphinx-v7] (13 commits) sphinx: fix cross manual references

[gcc/marxin/heads/sphinx-v7] (13 commits) sphinx: fix cross manual references

[Martin Liska]

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

 f720291c085... sphinx: fix cross manual references

It previously pointed to:

 67a1a5fdd31... sphinx: fix cross manual references

Diff:

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

  67a1a5f... sphinx: fix cross manual references
  2f4a879... fixme: use temporary Intersphinx URL.
  c7c589d... Add --with-sphinx-build
  0852ed2... sphinx: use proper lexers for target macros
  e921a6f... sphinx,ada: port to Sphinx
  2621035... sphinx,jit: port libgccjit to shared Sphinx
  f0247ca... sphinx: remove texinfo files
  ebea7fe... sphinx: add tm.rst.in.
  9bedad7... sphinx: support Sphinx in build system
  9474735... sphinx: use tm.rst.in file in target macros
  4869fcd... sphinx: port .def files to RST
  798ae79... sphinx: update baseconf.py file
  59cbb9c... sphinx: copy files from texi2rst-generated


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

  f720291... sphinx: fix cross manual references
  74cbc7c... fixme: use temporary Intersphinx URL.
  6d1f2e4... Add --with-sphinx-build
  674b084... sphinx: use proper lexers for target macros
  17f034b... sphinx,ada: port to Sphinx
  e616423... sphinx,jit: port libgccjit to shared Sphinx
  ce88bab... sphinx: remove texinfo files
  dfa5f12... sphinx: add tm.rst.in.
  5523761... sphinx: support Sphinx in build system
  c8e7ba3... sphinx: use tm.rst.in file in target macros
  bdc50ef... sphinx: port .def files to RST
  b2fc364... sphinx: update baseconf.py file
  69c6288... sphinx: copy files from texi2rst-generated