Makefileの修正

diff --git a/doc/texinfo.mk b/doc/texinfo.mk
index 57c32b1..d709e5c 100644 (file)
--- 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