On Tue, 2 Jun 2020 at 12:05, Jonathan Wakely <jwakely....@gmail.com> wrote: > > On Tue, 2 Jun 2020 at 11:56, Gerald Pfeifer <ger...@pfeifer.com> wrote: > > > > On Mon, 1 Jun 2020, Jonathan Wakely via Gcc-patches wrote: > > > The libstdc++ manual is written in Docbook XML, but we commit both the > > > XML and generated HTML pages to Git. Sometimes a small XML file can > > > result in dozens of mechanical changes to the generated HTML files, > > > which we record in the ChangeLog as: > > > > > > * doc/html/*: Regenerated. > > > > > > With the new checks we need to name every generated file individually. > > > > > > If we add that directory to the ignored_prefixes list, we won't need > > > to name them. But then the doc/html/* entry will give an error, and > > > changes to the HTML files can be committed without any ChangeLog > > > entry. Should we just stop mentioning the HTML in the ChangeLog? > > > > > > We could do something like the attached patch, but it seems overkill > > > for this one special case. > > > > The change makes sense, but indeed it feels like a very specialized > > case in a general script. > > Yes, that was my thought too.
On the other hand, the script is just meant to enforce our policies, not dictate them. But on the gripping hand, if the policy can't be checked simply, maybe it's a bad policy.
