Pádraig Brady <[email protected]> writes:
> I'm a little surprised, there isn't an implicit dependency
> from html-local to html, but I guess it makes sense as
> it's easy to add the serialization, and those that don't need it
> get the parallel perf benefit by default.
I'm not too familiar with the *-local rules, but I guess it is
documented correctly [1]:
With the -local targets, there is no particular guarantee of
execution order; typically, they are run early, but with parallel
make, there is no way to be sure of that.
> Actually, the make rule is not general enough,
> as it's not triggered with `make doc/coreutils.html` or `make web-manual`.
>
> Therefore I'm replacing it with the attached, which wraps makeinfo,
> and thus will post process the html in all cases.
Ah, right. I think that works fine. I can't think of a better way to do
it at the moment, at least.
Collin
[1] https://www.gnu.org/software/automake/manual/html_node/Extending.html
