Makefileを修正

[YACASL2.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 7280fb0..00c54eb 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -8,7 +8,7 @@ DVI2PDF = dvipdfmx
 MAKEINFO = makeinfo
 MV = mv
 
-.PHONY: all htmlnosplit pdf clean
+.PHONY: doc info htmlnosplit html pdf clean
 
 .INTERMEDIATE: $(DOCNAME).dvi