バージョンアップ

[YACASL2.git] / doc / casl2_spec / Makefile

diff --git a/doc/casl2_spec/Makefile b/doc/casl2_spec/Makefile
index 17b62cf..45acab2 100644 (file)
--- a/doc/casl2_spec/Makefile
+++ b/doc/casl2_spec/Makefile
@@ -1,10 +1,11 @@
 VPATH := img
 
 RMR := $(RM) -r
-SED := sed
 
 CSS := style.css
 
+TEXITARGETS := casl2_spec.html
+
 .PHONY: all clean distclean
 
 all: casl2_spec.html casl2_spec.pdf
@@ -14,11 +15,9 @@ clean: texinfo-clean
        $(MAKE) -C img clean
 
 distclean: clean texinfo-distclean
-       $(RM) *.html *.pdf
+       $(RM) *.d *.html *.pdf
        $(MAKE) -C img distclean
 
-include casl2_spec.dep
-
 include texinfo.mk
 
 include images.mk