rsync generally is a more commonly used tool for syncing data - among
others it retains time stamps and is able to remove orphaned files on
the receiver side.

We just need to exclude some directories and a symlink from being
removed as "orphaned", since they originate elsewhere.

maintainer-scripts:
	* update_web_docs_libstdcxx_git: Copy our "inner" documentation
	into the web area using rsync instead of cpio and remove orphaned
	files.

In preparation for the final release from the GCC 12 branch stop
doing snapshots from it.

maintainer-scripts/
	* crontab: Stop doing GCC 12 snapshots.

The following makes update_web_docs_git work on branches without
libgdiagnostic.

maintainer_scripts/
	* update_web_docs_git: Conditionalize libgdiagnostic processing
	on presence.

We now have some script which transforms e.g.
<h2 id="15.1">GCC 15.1</h2>
line in gcc-15/changes.html to
<h2 id="15.1"><a href="#15.1">GCC 15.1</a></h2>

This unfortunately breaks the gcc_release script, which looks for
GCC 15.1 appearing in gennews after optional blanks from the start of
the line in the NEWS file, which is no longer the case, there is
[129]GCC 15.1
or something like that with an URL later on
 129. https://gcc.gnu.org/gcc-15/changes.html#15.1

The following patch handles this.

2025-04-25  Jakub Jelinek  <jakub@redhat.com>

	* gcc_release: Allow optional \[[0-9]+\] before GCC major.minor
	in the NEWS file.

2025-04-17  Jakub Jelinek  <jakub@redhat.com>

maintainer-scripts/
	* crontab: Snapshots from trunk are now GCC 16 related.
	Add GCC 15 snapshots from the respective branch.
contrib/
	* gcc-changelog/git_update_version.py (active_refs): Add
	releases/gcc-15.