docディレクトリーのgit無視ファイルを設定

diff --git a/doc/.gitignore b/doc/.gitignore
index 3e5ded93fd531c1fe93b1454ff8edd3b50b291e0..769fa12d9b315c192084b25e24e60ae850810803 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,5 +1,8 @@
 install.html
+install.info
+install.pdf
+install.txt
 manual.html
-manual.info
 manual.pdf
 manual_html
+yacasl2.info