ドキュメントの修正

[YACASL2.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index bb4c096..dc8c378 100644 (file)
--- 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