From fb0bcba29bcdff5d92ff53887120ba356a00aa67 Mon Sep 17 00:00:00 2001 From: j8takagi Date: Tue, 19 Jun 2018 17:34:33 +0900 Subject: [PATCH 1/1] =?utf8?q?texinfo=E4=BD=9C=E6=88=90=E6=99=82=E3=81=AE?= =?utf8?q?=E3=82=A8=E3=83=A9=E3=83=BC=E4=BF=AE=E6=AD=A3?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- doc/texinfo.mk | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/texinfo.mk b/doc/texinfo.mk index 728091e..2e01708 100644 --- a/doc/texinfo.mk +++ b/doc/texinfo.mk @@ -53,13 +53,13 @@ endif %.html: %.texi $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $< - $(SED) -i '' -e 's%]*>%&%g' $@ + $(SED) -i '' 's%]*>%&%g' $@ %_html: %.texi if test ! -e $@; then $(MKDIR) $@; fi $(CP) $(CSS) $@/ $(MAKEINFO) -o $@ --html --css-ref=$(CSS) $< - $(SED) -i '' -e 's%]*>%&%g' $@ + $(SED) -i '' 's%]*>%&%g' $@ %.html %_html: $(CSS) -- 2.18.0