On Tue, 13 Dec 2022, Martin Liška wrote:

> If the Rust folks are willing to use Sphinx, then yes, I'm going to 
> prepare a common infrastructure (baseconf.py, common license files and a 
> common Makefile). So something similar to what I prepared for the Sphinx 
> conversion that didn't make it.

I suggest putting this in a directory such as gcc/doc/sphinx/ (rather than 
the top-level doc/ that was used in the Sphinx conversion).

-- 
Joseph S. Myers
joseph@codesourcery.com