X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=doc%2FMakefile;fp=doc%2FMakefile;h=04b5f167df1ad3e4e9630693af17b00c9264a0e6;hp=6216a3e10ecda42fd05b1be7d6bb8ba61c10970a;hb=db72b99e0ddad50852fa89e94b0df287f3c1b5bd;hpb=5b57b6588ef89ac321cfb5df8ef35396562890e4

diff --git a/doc/Makefile b/doc/Makefile
index 6216a3e..04b5f16 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,17 +1,19 @@
 RMR := $(RM) -r
 SED := sed
 
-DOCS := install manual casl2_spec
+DOCS := install manual
 CSS := style.css
 
 prefix ?= ~
 infodir ?= $(prefix)/share/info
 
-.PHONY: base all info html htmls pdf distclean clean
+INSTALL-INFO-TARGETS := yacasl2.info
+
+.PHONY: base all info html htmls pdf casl2_spec distclean clean
 
 base: install.txt info html
 
-all: base html pdf
+all: base html pdf casl2_spec
 
 info: yacasl2.info
 
@@ -21,16 +23,21 @@ htmls: $(addsuffix _html,$(DOCS))
 
 pdf: $(addsuffix .pdf,$(DOCS))
 
+casl2_spec:
+	$(MAKE) -C casl2_spec
+
 yacasl2.info: manual.texi
 	$(MAKEINFO) $(MAKEINFO_FLAGS) $<
 
 # makeで作成されたドキュメントはすべて削除
 distclean: clean texinfo-distclean
 	$(RM) install.txt *.info *.html *_html *.pdf
+	$(MAKE) -C casl2_spec distclean
 
 # make baseで作成されたドキュメントは残す
 clean: texinfo-clean
 	$(RM) *.bak
+	$(MAKE) -C casl2_spec clean
 
 include texinfo.mk