On 09/12/2025 03:17, Collin Funk wrote:
Also, I just noticed that the html docs will likely fail if you use parallel make:$ make -j 16 pdf dvi ps html info [...] MAKEINFO doc/coreutils.html GEN html-local sed: can't read doc/coreutils.html: No such file or directory make[1]: *** [Makefile:30153: html-local] Error 2 Since html-local does not have any dependencies. Is the attached patch okay? I'm not sure if the substitution syntax will cause portability issues.
Oh good catch. 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 pushed a fix in your name that depends on, and iterates over the already generated $(HTMLS). cheers, Padraig
