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

diff --git a/doc/Makefile b/doc/Makefile
index bb4c096..dc8c378 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -7,6 +7,8 @@ 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