> 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.
> 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 >
Ok, found it in install/README. knew it had something special about it...