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

[Martin Liska]

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

 d8316521b18... FIXME: use temporary Intersphinx URL.

It previously pointed to:

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

Diff:

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

  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


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

  d831652... FIXME: use temporary Intersphinx URL.
  5d1c0a7... sphinx: do not use tm.rst.in with empty content
  f380ad6... sphinx: fix cross manual references
  1c23d11... sphinx: add --with-sphinx-build
  ac6522a... sphinx: use proper lexers for target macros
  7077332... sphinx: ada: port to Sphinx