diff options
| author | Iain Buclaw <ibuclaw@gdcproject.org> | 2022-11-21 11:22:29 +0100 |
|---|---|---|
| committer | Iain Buclaw <ibuclaw@gdcproject.org> | 2022-11-30 22:40:56 +0100 |
| commit | d13c359a49291f0a1206adbad4065677010b7e4b (patch) | |
| tree | 36cb263d1fe63ec7caf6fc4de777de3f690f93c2 | |
| parent | 125910bd7ee16b579d2a61c825fcd9e86ddce9b2 (diff) | |
| download | gcc-d13c359a49291f0a1206adbad4065677010b7e4b.zip gcc-d13c359a49291f0a1206adbad4065677010b7e4b.tar.gz gcc-d13c359a49291f0a1206adbad4065677010b7e4b.tar.bz2 | |
maintainer-scripts: Add gdc to update_web_docs_git
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.
| -rwxr-xr-x | maintainer-scripts/update_web_docs_git | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintainer-scripts/update_web_docs_git b/maintainer-scripts/update_web_docs_git index 6c38e21..dee9b1d 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 |