Re: GCC wwwdocs move to git done

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Re: GCC wwwdocs move to git done

Georg-Johann Lay-2
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