[gcc/marxin/heads/sphinx-v7] Add --with-sphinx-build

[Martin Liska]

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

 10d9c9e1b8a... Add --with-sphinx-build

It previously pointed to:

 ea88febf25e... Add --with-sphinx-build

Diff:

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

  ea88feb... Add --with-sphinx-build


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

  10d9c9e... Add --with-sphinx-build