X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fcasl2_spec%2FMakefile;fp=doc%2Fcasl2_spec%2FMakefile;h=cc9ada7ea504938bada101879ef01e07d65d4e31;hb=49b7c7e46d042219087737ef695bc17063b3fd42;hp=17b62cf7e6ff1cba2bb824da7e6bcc444547b579;hpb=1a7e5a088f19779d58609b2af997d894cd5fcf47;p=YACASL2.git

diff --git a/doc/casl2_spec/Makefile b/doc/casl2_spec/Makefile
index 17b62cf..cc9ada7 100644
--- a/doc/casl2_spec/Makefile
+++ b/doc/casl2_spec/Makefile
@@ -5,6 +5,8 @@ SED := sed
 
 CSS := style.css
 
+TEXITARGETS := casl2_spec.html
+
 .PHONY: all clean distclean
 
 all: casl2_spec.html casl2_spec.pdf
@@ -14,10 +16,10 @@ 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 casl2_spec.dep
 
 include texinfo.mk