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

[YACASL2.git] / doc / .gitignore

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