Hi. Tomorrow in the morning (UTC time), I'm going to migrate the documentation to Sphinx. The final version of the branch can be seen here:
$ git fetch origin refs/users/marxin/heads/sphinx-final $ git co FETCH_HEAD URL: https://splichal.eu/gccsphinx-final/ TL;DR; After the migration, people should be able to build (and install) GCC even if they miss Sphinx (similar happens now if you miss makeinfo). However, please install Sphinx >= 5.3.0 (for manual and info pages - only *core* package is necessary) [1] Steps following the migration: 1) update of web HTML (and PDF documentation) pages: I prepared a script and tested our server has all what we need. 2) gcc_release --enable-generated-files-in-srcdir: here I would like to ask Joseph for cooperation 3) URL for diagnostics (used for warning) - will utilize [3] 4) package source tarballs - https://gcc.gnu.org/onlinedocs/ (listed here) 5) updating links from gcc.gnu.org that point to documentation 6) removal of the further Texinfo leftovers ... Cheers, Martin [1] https://splichal.eu/scripts/sphinx/gccint/_build/html/source-tree-structure-and-build-system/the-gcc-subdirectory/building-documentation.html#sphinx-install [2] ./maintainer-scripts/update_web_docs_git.py [3] https://pypi.org/project/sphinx-redirect-by-id/
