Am 09.10.19 um 02:27 schrieb Joseph Myers:
I've done the move of GCC wwwdocs to git (using the previously posted and discussed scripts), including setting up the post-receive hook to do the same things previously covered by the old CVS hooks, and minimal updates to the web pages dealing with the CVS setup for wwwdocs.
Hi, May it be the case that some parts are missing? In particular, I cannot find the source of https://gcc.gnu.org/install/configure.html Johann