From 7167d347dd16b2fc624498cbcc6d5eaed3da0393 Mon Sep 17 00:00:00 2001 From: j8takagi Date: Fri, 26 Jun 2026 23:26:30 +0900 Subject: [PATCH] =?utf8?q?Texinfo=E3=83=95=E3=82=A1=E3=82=A4=E3=83=AB?= =?utf8?q?=E3=81=A7=E3=82=BB=E3=82=AF=E3=82=B7=E3=83=A7=E3=83=B3=E3=81=94?= =?utf8?q?=E3=81=A8=E3=81=AE=E7=9B=AE=E6=AC=A1=E3=82=92=E8=A1=A8=E7=A4=BA?= =?utf8?q?=E3=81=97=E3=81=AA=E3=81=84=E3=82=88=E3=81=86=E3=81=AB=E8=A8=AD?= =?utf8?q?=E5=AE=9A?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- doc/texinfo.mk | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/texinfo.mk b/doc/texinfo.mk index 37ff54a..e6c20e9 100644 --- a/doc/texinfo.mk +++ b/doc/texinfo.mk @@ -54,16 +54,16 @@ endif $(MAKEINFO) $(MAKEINFO_FLAGS) -o $@ $< %.html: %.texi - $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $< + $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) --set-customization-variable FORMAT_MENU=nomenu $< $(SED) -i'.org' -e 's%]*>%&%g' $@ $(RM) $@.org %_html: %.texi if test ! -e $@; then $(MKDIR) $@; fi $(CP) $(CSS) $@/ - $(MAKEINFO) -o $@ --html --css-ref=$(CSS) $< - $(SED) -i'.org' -e 's%]*>%&%g' $@/*.html - $(RM) $@/*.html.org + $(MAKEINFO) -o $@ --html --css-ref=$(CSS) --set-customization-variable FORMAT_MENU=nomenu $< + $(SED) -i'.sedbak' -e 's%]*>%&%g' $@/*.html + $(RM) $@/*.sedbak %.html %_html: $(CSS) -- 2.47.3