ドキュメントの修正

[YACASL2.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index f8fc444..86a0894 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -2,7 +2,6 @@ install.html
 install_html
 install.info
 install.pdf
-install.txt
 manual.html
 manual_html
 manual.pdf