add .gitignore for docs/

SVN-Revision: 9992
17 years ago · 91e0a19d8e
parent 1a94a85970
commit 91e0a19d8e
1 changed files with 15 additions and 0 deletions
--- a/docs/.gitignore
+++ b/docs/.gitignore
@ -0,0 +1,15 @@
+*.log
+*.aux
+*.toc
+*.out
+*.lg
+*.dvi
+*.idv
+*.4ct
+*.4tc
+*.xref
+*.tmp
+*.dvi
+*.html
+*.css
+*.pdf