ドキュメントファイルについての設定

diff --git a/doc/.gitignore b/doc/.gitignore
index 769fa12..707286e 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -6,3 +6,4 @@ manual.html
 manual.pdf
 manual_html
 yacasl2.info
+casl2_spec.html