X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ftexinfo.mk;h=d709e5ce22d00fe59ba59f65c8bd649f77f29992;hb=ae808cc2bedb58811df3ff223f116f7499e7e16e;hp=b0a5f01913d287cf5800f7c939203e5279b2e86f;hpb=921a2913cc7d7d499b273ce24ce204272ecfa4e9;p=YACASL2.git

diff --git a/doc/texinfo.mk b/doc/texinfo.mk
index b0a5f01..d709e5c 100644
--- a/doc/texinfo.mk
+++ b/doc/texinfo.mk
@@ -1,6 +1,6 @@
-.PHONY: texinfo-distclean textmp-clean
+.PHONY: texinfo-distclean texinfo-clean texinfo-textmp-clean
 
-CP ?= cp
+CP := cp
 DVIPDFMX := dvipdfmx
 INSTALL-INFO := install-info
 MKDIR := mkdir
@@ -29,10 +29,13 @@ TEXI2DVI_FLAGS ?= -q --texinfo=@afourpaper
 %.txt: %.texi
 	$(MAKEINFO) --no-headers --disable-encoding -o $@ $<
 
-texinfo-distclean: textmp-clean
+%.xml: %.texi
+	@$(MAKEINFO) --docbook -o $@ $<
+
+texinfo-distclean: texinfo-clean
 	@$(RMR) *_html *.info *.html *.pdf  *.dvi *.txt
 
-texinfo-clean: textmp-clean
+texinfo-clean: texinfo-textmp-clean
 
-textmp-clean:
+texinfo-textmp-clean:
 	@$(RM) *.aux *.cp *.cps *.fn *.ky *.log *.pg *.pgs *.tmp *.toc *.tp *.vr