On Sun, 21 Sept 2025 at 16:19, Mark Wielaard wrote:
> > > Here you also create tar.gz files. Leaving the .tar archives as is.
> > > Since the .tar archives are really big already I would remove them
> > > here, or simply directly create tar.gz files above.
> > >
> > >> +# And copy the resulting files to the web server.
> > >> +while read -d $'\0' -r file; do
> > >> + outfile="${outdir}/${file}"
> > >> + mkdir -p "$(dirname "${outfile}")" \
> > >> + || die "Failed to generate output directory"
> > >> + cp "${file}" "${outfile}" \
> > >> + || die "Failed to copy ${file}"
> > >> +done < <(find . \
> > >> + -not -path "./gccsrc/*" \
> > >> + \( -name "*.html" \
> > >> + -o -name "*.png" \
> > >> + -o -name "*.css" \
> > >> + -o -name "*.js" \
> > >> + -o -name "*.txt" \
> > >> + -o -name '*.html.gz' \
> > >> + -o -name '*.ps' \
> > >> + -o -name '*.ps.gz' \
> > >> + -o -name '*.pdf' \
> > >> + -o -name '*.pdf.gz' \
> > >> + -o -name '*.tar' \
> > >> + -o -name '*.tar.gz' \
> > >> + \) -print0)
> > >
> > > So I might suggest to skip *.ps, *.ps.gz and *.tar here.
> >
> > This would mean diverging from the current practice, which is fine by
> > me, but I'd like second opinions also (see the contents of
> > https://gcc.gnu.org/onlinedocs/gcc-15.2.0/ as an example).
>
> The ps and ps.gz files aren't that big, but I doubt anybody really
> uses them. The non-compresses .tar files do take up space (10% of the
> whole docs) and we already also provide the compressed tar files.
Storing both .pdf and .pdf.gz files seems silly, when compression
makes very little difference for PDF files.
Storing both .ps and .ps.gz seems silly when the .ps files are quite
large (and I bet nobody even uses them).
Storing both *-html.tar and *-html.tar.gz seems silly when the .tar
files are huge.
None of the uncompressed .ps and uncompressed .tar files are linked to
from https://gcc.gnu.org/onlinedocs/ and neither are the compressed
.pdf.gz files. So we should stop publishing all .ps and .tar and
.pdf.gz files.
