maintainer-scripts: Add gdc to update_web_docs_git

Message ID 20221121102909.1603846-1-ibuclaw@gdcproject.org
State New
Headers
Series maintainer-scripts: Add gdc to update_web_docs_git |

Commit Message

Iain Buclaw Nov. 21, 2022, 10:29 a.m. UTC
  Hi,

This patch adds gdc to maintainer-scripts/update_web_docs_git so that
it's built and uploaded to gcc.gnu.org/onlinedocs.

One half of re-adding the gdc docs that were taken down after the revert
to the Sphinx conversion.

OK?

Regards,
Iain.

---
	PR web/107749

maintainer-scripts/ChangeLog:

	* update_web_docs_git: Add gdc to MANUALS.
---
 maintainer-scripts/update_web_docs_git | 1 +
 1 file changed, 1 insertion(+)
  

Comments

Iain Buclaw Nov. 29, 2022, 6:28 p.m. UTC | #1
Ping.

This looks obvious, however I don't know how things are generated for
the online documentation site in order to say this won't cause any
problems for whatever process is building these pages.

Excerpts from Iain Buclaw's message of November 21, 2022 11:29 am:
> Hi,
> 
> This patch adds gdc to maintainer-scripts/update_web_docs_git so that
> it's built and uploaded to gcc.gnu.org/onlinedocs.
> 
> One half of re-adding the gdc docs that were taken down after the revert
> to the Sphinx conversion.
> 
> OK?
> 
> Regards,
> Iain.
> 
> ---
> 	PR web/107749
> 
> maintainer-scripts/ChangeLog:
> 
> 	* update_web_docs_git: Add gdc to MANUALS.
> ---
>  maintainer-scripts/update_web_docs_git | 1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/maintainer-scripts/update_web_docs_git b/maintainer-scripts/update_web_docs_git
> index 6c38e213562..dee9b1d3b5e 100755
> --- a/maintainer-scripts/update_web_docs_git
> +++ b/maintainer-scripts/update_web_docs_git
> @@ -21,6 +21,7 @@ MANUALS="cpp
>    gccgo
>    gccint
>    gcj
> +  gdc
>    gfortran
>    gfc-internals
>    gnat_ugn
> -- 
> 2.37.2
> 
>
  
Gerald Pfeifer Nov. 29, 2022, 8:21 p.m. UTC | #2
Hi Iain,

On Tue, 29 Nov 2022, Iain Buclaw via Gcc-patches wrote:
> This looks obvious, however I don't know how things are generated for
> the online documentation site in order to say this won't cause any
> problems for whatever process is building these pages.

>> maintainer-scripts/ChangeLog:
>> 
>> 	* update_web_docs_git: Add gdc to MANUALS.

please go ahead and let me know when done. I'll see how I can help.

Gerald
  
Iain Buclaw Nov. 30, 2022, 9:58 p.m. UTC | #3
Hi Gerald,

Excerpts from Gerald Pfeifer's message of November 29, 2022 9:21 pm:
> Hi Iain,
> 
> On Tue, 29 Nov 2022, Iain Buclaw via Gcc-patches wrote:
>> This looks obvious, however I don't know how things are generated for
>> the online documentation site in order to say this won't cause any
>> problems for whatever process is building these pages.
> 
>>> maintainer-scripts/ChangeLog:
>>> 
>>> 	* update_web_docs_git: Add gdc to MANUALS.
> 
> please go ahead and let me know when done. I'll see how I can help.
> 

Thanks, I've committed it - along with a bit of content I've been
working on since the temporary switch to Sphinx (the gdc pages of seem
to still be up https://gcc.gnu.org/onlinedocs/gdc/).

As far as I understand, there's also a corresponding wwwdocs change to
be done so that there's  a reference from the main onlinedocs page.
Will wait until docs have been confirmed rebuilt before submitting that.

Iain.
  

Patch

diff --git a/maintainer-scripts/update_web_docs_git b/maintainer-scripts/update_web_docs_git
index 6c38e213562..dee9b1d3b5e 100755
--- a/maintainer-scripts/update_web_docs_git
+++ b/maintainer-scripts/update_web_docs_git
@@ -21,6 +21,7 @@  MANUALS="cpp
   gccgo
   gccint
   gcj
+  gdc
   gfortran
   gfc-internals
   gnat_ugn