gitignore ignores .toc files