On Thu, 17 Sep 2026, Jakub Jelinek wrote: > On Sat, Sep 12, 2026 at 06:36:11PM +0200, Gerald Pfeifer wrote: >> maintainer-scripts: >> * update_web_docs_git: Stop generating .pdf.gz copies of >> .pdf files. > This change broke the installation of the web docs.
Yikes. I thought I had tested this – clearly not sufficiently. Apologies! > The following patch fixes it, tested by running the script patched > with this patch by hand as gccadmin - the onlinedocs seem to be ok again. > > Ok for trunk? > > 2026-09-17 Jakub Jelinek <[email protected]> > > * update_web_docs_git: Ignore installation of $file.gz files > which don't exist. Thank you for catching this, and on top fixing it, Jakub! Gerald
