--- docs/Makefile.orig 2026-05-07 15:21:42 UTC +++ docs/Makefile @@ -29,7 +29,7 @@ _ := $(shell test "$(REVDESC)" = "$$(cat .revdesc 2 %.texi: %.org .orgconfig .revdesc @printf "Generating $@\n" @$(EMACS_ORG) $< $(ORG_EVAL) - @sed -e 's/“/``/g' -e "s/”/''/g" -e '$$a\' -ix $@ && rm $@x #' + @$(SED) -e 's/“/``/g' -e "s/”/''/g" -e '$$a\' -ix $@ && rm $@x #' %.info: %.texi @printf "Generating $@\n" @@ -39,32 +39,33 @@ dir: $(PKG).info @printf "Generating $@\n" @printf "%s" $^ | xargs -n 1 $(INSTALL_INFO) --dir=$@ -HTML_FIXUP_CSS = '//a\ -\ -\n\ -\n\ -\n\ -\n\ -\n' +HTML_FIXUP_CSS = 's@@\ +\ +\n\ +\n\ +\n\ +\n\ +\n\ +\n@' HTML_FIXUP_ONLOAD = 's/
//' -HTML_FIXUP_MENU = '/<\/body>/i