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

[Martin Liska]

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

 8bdd071776e... FIXME: use temporary Intersphinx URL.

It previously pointed to:

 6431ab67c7a... sphinx: sync latest changes

Diff:

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

  6431ab6... sphinx: sync latest changes
  8654f8e... sphinx: add update_web_docs_git.py script
  d960b0d... FIXME: use temporary Intersphinx URL.
  0951d92... sphinx: do not use tm.rst.in with empty content
  ae9bec1... sphinx: fix cross manual references
  784bae4... sphinx: add --with-sphinx-build
  addf5bc... sphinx: use proper lexers for target macros
  269dee4... sphinx: ada: port to Sphinx
  bbdf37a... sphinx: jit: port libgccjit to shared Sphinx
  1b40fb2... sphinx: remove texinfo files
  6ece6fd... sphinx: add tm.rst.in
  495aca5... sphinx: support Sphinx in build system
  b6e50ba... sphinx: use tm.rst.in file in target macros
  dd3054f... sphinx: port .def files to RST
  fe5fcdf... sphinx: update baseconf.py file


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

  8bdd071... FIXME: use temporary Intersphinx URL.
  95e6f33... sphinx: support installation if sphinx-build is missing
  5562f1d... sphinx: add update_web_docs_git.py script
  d72e0ab... sphinx: sync latest changes
  a1e8401... sphinx: do not use tm.rst.in with empty content
  70bd159... sphinx: fix cross manual references
  18ece60... sphinx: add --with-sphinx-build
  b116fdf... sphinx: use proper lexers for target macros
  4c30c0e... sphinx: ada: port to Sphinx
  b49880e... sphinx: jit: port libgccjit to shared Sphinx
  2d71f59... sphinx: remove texinfo files
  9a25258... sphinx: add tm.rst.in
  70e6709... sphinx: support Sphinx in build system
  2d10519... sphinx: use tm.rst.in file in target macros
  34fe6bb... sphinx: port .def files to RST
  5af0dac... sphinx: update baseconf.py file