Ignore generated toc files.

diff --git a/.gitignore b/.gitignore
index d079e1a..9c9d422 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -85,6 +85,7 @@ doc/tmp.realtoc
 doc/using_bib.html\r
 doc/Doxyfile\r
 doc/footer.html\r
+*.doc.toc
 \r
 ################################################\r
 ### Specific of project \r