[gcc/marxin/heads/sphinx-v7] (15 commits) Sync up with master.

[Martin Liska]

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

 4bd71fc6606... Sync up with master.

It previously pointed to:

 03745146da8... fixme: remove custom CSS hunk

Diff:

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

  0374514... fixme: remove custom CSS hunk
  5bab023... fixme: use temporary Intersphinx URL.
  615482c... sphinx: fix cross manual references
  d01eea4... sphinx: add --with-sphinx-build
  fb371bb... sphinx: use proper lexers for target macros
  beff1ea... sphinx,ada: port to Sphinx
  efaaebd... sphinx,jit: port libgccjit to shared Sphinx
  2546a6e... sphinx: remove texinfo files
  952dd3b... sphinx: add tm.rst.in.
  c1a54af... sphinx: support Sphinx in build system
  27de181... sphinx: use tm.rst.in file in target macros
  6883fe3... sphinx: port .def files to RST
  26c4882... sphinx: update baseconf.py file
  b238ce4... sphinx: copy files from texi2rst-generated


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

  4bd71fc... Sync up with master.
  f70173d... fixme: remove custom CSS hunk
  98d7507... fixme: use temporary Intersphinx URL.
  1f65a16... sphinx: fix cross manual references
  a6966fa... sphinx: add --with-sphinx-build
  fe69461... sphinx: use proper lexers for target macros
  5e2d5f4... sphinx,ada: port to Sphinx
  b5288ff... sphinx,jit: port libgccjit to shared Sphinx
  7de92d9... sphinx: remove texinfo files
  2d8f53a... sphinx: add tm.rst.in.
  32025be... sphinx: support Sphinx in build system
  51af2e3... sphinx: use tm.rst.in file in target macros
  04b5e94... sphinx: port .def files to RST
  3133ce7... sphinx: update baseconf.py file
  43f65c0... sphinx: copy files from texi2rst-generated