https://gcc.gnu.org/g:9a698ac1bdabbb0420465959203f5fd3fd261b8f
commit r17-4189-g9a698ac1bdabbb0420465959203f5fd3fd261b8f Author: Gerald Pfeifer <[email protected]> Date: Sat Sep 12 18:34:00 2026 +0200 maintainer-scripts: Stop generating .pdf.gz files PDF files already are compressed; adding gzip compression is mostly pointless. maintainer-scripts: * update_web_docs_git: Stop generating .pdf.gz copies of .pdf files. Diff: --- maintainer-scripts/update_web_docs_git | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maintainer-scripts/update_web_docs_git b/maintainer-scripts/update_web_docs_git index 67c6e6254ea8..7bb46fb2378a 100755 --- a/maintainer-scripts/update_web_docs_git +++ b/maintainer-scripts/update_web_docs_git @@ -269,7 +269,7 @@ find . -name '*.html' | while read f; do done # Then build a gzipped copy of each of the resulting .html, .ps and .tar files -for file in */*.html *.ps *.pdf *.tar; do +for file in */*.html *.ps *.tar; do cat $file | gzip --best > $file.gz done
