From: j8takagi Date: Fri, 25 Jan 2013 03:58:56 +0000 (+0900) Subject: Makefileの修正 X-Git-Tag: v0.2p8 X-Git-Url: https://j8takagi.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ae808cc2bedb58811df3ff223f116f7499e7e16e;p=YACASL2.git Makefileの修正 --- diff --git a/doc/texinfo.mk b/doc/texinfo.mk index 57c32b1..d709e5c 100644 --- a/doc/texinfo.mk +++ b/doc/texinfo.mk @@ -29,10 +29,13 @@ TEXI2DVI_FLAGS ?= -q --texinfo=@afourpaper %.txt: %.texi $(MAKEINFO) --no-headers --disable-encoding -o $@ $< +%.xml: %.texi + @$(MAKEINFO) --docbook -o $@ $< + texinfo-distclean: texinfo-clean @$(RMR) *_html *.info *.html *.pdf *.dvi *.txt texinfo-clean: texinfo-textmp-clean -textmp-textmp-clean: +texinfo-textmp-clean: @$(RM) *.aux *.cp *.cps *.fn *.ky *.log *.pg *.pgs *.tmp *.toc *.tp *.vr