[gcc/marxin/heads/sphinx-final] (13 commits) FIXME: use temporary Intersphinx URL.

[Martin Liska]

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

 575196b935f... FIXME: use temporary Intersphinx URL.

It previously pointed to:

 cdb183a1a29... FIXME: use temporary Intersphinx URL.

Diff:

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

  cdb183a... FIXME: use temporary Intersphinx URL.
  09fcb2d... sphinx: do not use tm.rst.in with empty content
  f68ece4... sphinx: fix cross manual references
  553b112... sphinx: add --with-sphinx-build
  ce4c5d1... sphinx: use proper lexers for target macros
  2a174a0... sphinx: ada: port to Sphinx
  2da0293... sphinx: jit: port libgccjit to shared Sphinx
  3c4864f... sphinx: remove texinfo files
  a9c5d5a... sphinx: add tm.rst.in
  ba98a49... sphinx: support Sphinx in build system
  67cf52e... sphinx: use tm.rst.in file in target macros
  f609b12... sphinx: port .def files to RST
  1b682d4... sphinx: update baseconf.py file


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

  575196b... FIXME: use temporary Intersphinx URL.
  2af81e5... sphinx: do not use tm.rst.in with empty content
  ff0d210... sphinx: fix cross manual references
  2b04d79... sphinx: add --with-sphinx-build
  49588ef... sphinx: use proper lexers for target macros
  a6606a9... sphinx: ada: port to Sphinx
  bb8ad8e... sphinx: jit: port libgccjit to shared Sphinx
  173d104... sphinx: remove texinfo files
  738d52c... sphinx: add tm.rst.in
  247d2f8... sphinx: support Sphinx in build system
  0dce122... sphinx: use tm.rst.in file in target macros
  fa7d3ab... sphinx: port .def files to RST
  233740b... sphinx: update baseconf.py file