ignore *.nav, *.snm, *.toc and *.out