On Thu, 11 Apr 2024, Marek Polacek wrote:
> Ok for trunk?
>
> -- >8 --
> I use this script to keep <https://gcc.gnu.org/projects/cxx-dr-status.html>
> up-to-date. I thought it might be good to have it in contrib/, so I've
> polished it a little bit.
>
> contrib/ChangeLog:
>
> * cxx-dr-table.sh: New file.
I'm not an approver for this kind of changes, will argue that if you use
this script yourself and its proving useful, sharing it is a good idea,
though maybe maintainer-scripts/ instead of contrib/ ?
Alternately, and maybe that's actually the best option, this being solely
related to our web pages, how about wwwdocs/bin (peer to wwwdocs/htdocs)
instead of the GCC tree? That I can approve. :-)
> +AWK=/usr/bin/awk
> +DIFF=/usr/bin/vimdiff
> +SED=/usr/bin/sed
Personally I tend to use
AWK=${AWS-/usr/bin/awk}
and so forth which easily allows overriding these from the environment.
Gerald
