X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FMakefile;h=dc8c3787f2b2f4ae55fe75a3bad106ecd98b89b9;hb=4037c492129dae5b3ebd91ad14a9ef1e125d2ffe;hp=04b5f167df1ad3e4e9630693af17b00c9264a0e6;hpb=db72b99e0ddad50852fa89e94b0df287f3c1b5bd;p=YACASL2.git

diff --git a/doc/Makefile b/doc/Makefile
index 04b5f16..dc8c378 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -7,13 +7,15 @@ CSS := style.css
 prefix ?= ~
 infodir ?= $(prefix)/share/info
 
+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 html pdf casl2_spec
+all: base htmls pdf casl2_spec
 
 info: yacasl2.info