From 08a4af838fd0cd965a3cae9bf077effb6edae4a1 Mon Sep 17 00:00:00 2001 From: j8takagi Date: Tue, 19 Jun 2018 17:55:25 +0900 Subject: [PATCH] =?utf8?q?sed=E3=82=B3=E3=83=9E=E3=83=B3=E3=83=89=E3=81=8C?= =?utf8?q?=E3=80=81GNU=E7=89=88=E3=81=A8BSD=E7=89=88=E3=81=AE=E4=B8=A1?= =?utf8?q?=E6=96=B9=E3=81=A7=E5=8B=95=E4=BD=9C=E3=81=99=E3=82=8B=E3=82=88?= =?utf8?q?=E3=81=86=E3=81=AB?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- doc/texinfo.mk | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/doc/texinfo.mk b/doc/texinfo.mk index 2e01708..148fff1 100644 --- a/doc/texinfo.mk +++ b/doc/texinfo.mk @@ -1,5 +1,7 @@ .PHONY: texinfo-distclean texinfo-clean texinfo-textmp-clean +.INTERMEDIATE: *.org + CP := cp DVIPDFMX := dvipdfmx DVIPDFMX_FLAGS ?= @@ -53,13 +55,15 @@ endif %.html: %.texi $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $< - $(SED) -i '' 's%]*>%&%g' $@ + $(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 '' 's%]*>%&%g' $@ + $(SED) -i '.org' -e 's%]*>%&%g' $@/*.html + $(RM) $@/*.html.org %.html %_html: $(CSS) -- 2.18.0