Git無視ファイルを追加

diff --git a/doc/.gitignore b/doc/.gitignore
index 372cbd0dc1113a3413143243b994eb49d685f2cc..61670650db67a8f8509ff1abaf9639693337886b 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,6 +1,17 @@
-html
+autotest_mk_html
 autotest_mk.info
 autotest_mk.dvi
 autotest_mk.pdf
 autotest_mk.xml
 sample
+*.fn    
+*.log   
+*.tmp  
+*.vr
+*.aux  
+*.html  
+*.pg    
+*.toc  
+*.cp    
+*.ky    
+*.tp