diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2023-04-21 00:17:31 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2023-04-21 00:17:31 +0000 |
| commit | ce4e4f37fd12f4335c25f508f9fa40492a408556 (patch) | |
| tree | eb5600947354e670fffecddd01315195c6aa3b35 /maintainer-scripts | |
| parent | fa3a566378286bcf1fb8157e305ab54034cf3c09 (diff) | |
Daily bump.
Diffstat (limited to 'maintainer-scripts')
| -rw-r--r-- | maintainer-scripts/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 8e7fbf50615..9cbef6d8526 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,9 @@ +2023-04-20 Arsen Arsenović <arsen@aarsen.me> + + * update_web_docs_git: Add a mechanism to override makeinfo, + texi2dvi and texi2pdf, and default them to + /home/gccadmin/texinfo/install-git/bin/${tool}, if present. + 2023-04-17 Jakub Jelinek <jakub@redhat.com> * crontab: Snapshots from trunk are now GCC 14 related. |