Hello. I'm sending the complete patch set that includes ChangeLog entries. Unfortunately, majority of the patches are huge, that's why I sent like to a tarball: https://splichal.eu/tmp/port-to-sphinx-v1.tar
The tarball contains the following patches: 19e06194746 Ada: port to Sphinx. 9a744ca431d Remove unused TEX files. e624967b5e8 Port jit to new Sphinx layout. 8c4717b262a Build system: support Sphinx d102880437e Add include directives for target macros. 08c3d3f0d8d Add RST files with config files. Thanks, Martin