X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=doc%2FMakefile;h=bb4c096464a8c17da75104c32fa6f4918142137f;hp=04b5f167df1ad3e4e9630693af17b00c9264a0e6;hb=1a7e5a088f19779d58609b2af997d894cd5fcf47;hpb=5d381ac0e0c9ee01b9bfebbc21c1dc1a1618dce6

diff --git a/doc/Makefile b/doc/Makefile
index 04b5f16..bb4c096 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -13,7 +13,7 @@ INSTALL-INFO-TARGETS := yacasl2.info
 
 base: install.txt info html
 
-all: base html pdf casl2_spec
+all: base htmls pdf casl2_spec
 
 info: yacasl2.info