ドキュメントの修正

[YACASL2.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index e4a6b53..dc8c378 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,4 +1,5 @@
 RMR := $(RM) -r
+SED := sed
 
 DOCS := install manual
 CSS := style.css
@@ -6,11 +7,15 @@ 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
 
@@ -20,16 +25,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) *_html *.pdf
+       $(RM) *.bak
+       $(MAKE) -C casl2_spec clean
 
 include texinfo.mk