From d1ac0f86b5bdcbafc2198ef34013a8b42f1bc758 Mon Sep 17 00:00:00 2001 From: Collin Funk Date: Tue, 9 Dec 2025 13:17:33 +0000 Subject: [PATCH] doc: html: fix build with parallel make * doc/local.mk (html-local): Add html files to prerequisites so they are generated before 'sed' is invoked. Also interate over the already populated $(HTMLS) to be more general (to multiple html files), and more portable (to non GNU make). --- doc/local.mk | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/local.mk b/doc/local.mk index da5d21240d..1287fca857 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -135,9 +135,9 @@ check-local: check-texinfo # Post-process generated HTML to clean up anchor IDs _sed_anchor_cleanup = \ -e '/id=.*_002doption/ { s/id="\([^"]*\)_002doption/id="\1/g; s/_002d/-/g; }' -html-local: - $(AM_V_GEN)htmlfile=$(info_TEXINFOS:.texi=.html); \ - sed $(_sed_anchor_cleanup) $$htmlfile > $$htmlfile-t \ - && mv $$htmlfile-t $$htmlfile +html-local: $(HTMLS) + $(AM_V_GEN)for htmlfile in $(HTMLS); do \ + sed $(_sed_anchor_cleanup) $$htmlfile > $$htmlfile-t \ + && mv $$htmlfile-t $$htmlfile; done .PHONY: html-local -- 2.47.3