GCC wwwdocs move to git done

[Georg-Johann Lay]

Am 06.11.19 um 15:03 schrieb Georg-Johann Lay:
> 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
> 

Ok, found it in install/README. knew it had something special about it...

Johann