]> gcc.gnu.org Git - gcc.git/commitdiff
git://gcc.gnu.org / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 125910b)
maintainer-scripts: Add gdc to update_web_docs_git
authorIain Buclaw <ibuclaw@gdcproject.org>
Mon, 21 Nov 2022 10:22:29 +0000 (11:22 +0100)
committerIain Buclaw <ibuclaw@gdcproject.org>
Wed, 30 Nov 2022 21:40:56 +0000 (22:40 +0100)
So that it's built and uploaded to gcc.gnu.org/onlinedocs.

PR web/107749

maintainer-scripts/ChangeLog:

* update_web_docs_git: Add gdc to MANUALS.

maintainer-scripts/update_web_docs_git patch | blob | blame | history

diff --git a/maintainer-scripts/update_web_docs_git b/maintainer-scripts/update_web_docs_git
index 6c38e213562dfd448da15202b333d4ca1f856253..dee9b1d3b5ee5ce0b018849fb983cf4a45184e46 100755 (executable)
--- 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
GNU Compiler Collection
This page took 0.058483 seconds and 5 git commands to generate.