X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=doc%2FMakefile;h=dc8c3787f2b2f4ae55fe75a3bad106ecd98b89b9;hp=2861845b758cc26a69b82cc9cc01dc13e277afa3;hb=7fbde1700bbe9d8f779033ad3b842d3dceb3e1c6;hpb=e5a628bc94373e55be537b7537a32fb38abbf388

diff --git a/doc/Makefile b/doc/Makefile
index 2861845..dc8c378 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -7,32 +7,39 @@ CSS := style.css
 prefix ?= ~
 infodir ?= $(prefix)/share/info
 
-.PHONY: base all info html htmls pdf distclean clean
+TEXITARGETS := install.html manual.html
+
+INSTALL-INFO-TARGETS := yacasl2.info
+
+.PHONY: base all info html htmls pdf casl2_spec distclean clean
 
 base: install.txt info html
 
-all: base htmls pdf
+all: base htmls pdf casl2_spec
 
 info: yacasl2.info
 
 html: $(addsuffix .html,$(DOCS))
-	for f in $^; do $(SED) -i .bak -e 's!dir\.html#Top!\.\./!g' $$f && $(RM) $$f.bak; done
 
 htmls: $(addsuffix _html,$(DOCS))
-	for d in $^; do $(SED) -i .bak -e 's!\.\./dir/index\.html!\.\./\.\./!g' $$d/index.html && $(RM) $$d/index.html.bak; done
 
 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