--- docs/Makefile.orig	2026-03-01 13:17:15 UTC
+++ docs/Makefile
@@ -51,19 +51,19 @@ HTML_FIXUP_MENU   = '/<\/body>/i<div id="s-css-s--menu
 %.html: %.texi
 	@printf "Generating $@\n"
 	@$(MAKEINFO) --html --no-split $(MANUAL_HTML_ARGS) $<
-	@sed -i -e $(HTML_FIXUP_CSS) -e $(HTML_FIXUP_ONLOAD) -e $(HTML_FIXUP_MENU) $@
+	@$(SED) -i -e $(HTML_FIXUP_CSS) -e $(HTML_FIXUP_ONLOAD) -e $(HTML_FIXUP_MENU) $@
 
 %/index.html: %.texi
 	@printf "Generating $(PKG)/*.html\n"
 	@rm -rf $(PKG)
 	@$(MAKEINFO) --html -o $(PKG)/ $(MANUAL_HTML_ARGS) $<
 	@for f in $$(find $(PKG) -name '*.html') ; do \
-	sed -i -e $(HTML_FIXUP_CSS) -e $(HTML_FIXUP_ONLOAD) -e $(HTML_FIXUP_MENU) $$f ; \
+	$(SED) -i -e $(HTML_FIXUP_CSS) -e $(HTML_FIXUP_ONLOAD) -e $(HTML_FIXUP_MENU) $$f ; \
 	done
 
 %.pdf: %.texi
 	@printf "Generating $@\n"
-	@texi2pdf --clean $< > /dev/null
+	@texi2pdf $< > /dev/null
 
 DOCS_DOMAIN = docs.$(DOMAIN)
 STAT_DOMAIN = stats.$(DOMAIN)