Hello. I've got something that is very close to be a patch candidate that can be eventually merged. Right now, the patches are available here: https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;a=log;h=refs/users/marxin/heads/sphinx-v3
Changes since last version: - gdc manual was ported - 'make doc' works fine both with and w/o installed sphinx-build - 'make pdf' and 'make html' works fine - libgccjit was ported to the shared Makefile and configuration - likewise for 3 existing Ada manuals - .texi files are removed List of known issues (planned to be fixed after merging): - cross manual references are not working - update_web_docs_git needs to be changed - will simplify rapidly - Sphinx warnings should be addressed - remove texinfo references in Manuals - list package requirements for Sphinx manual generation I'm looking forward to a feedback. Thanks, Martin
