diff --git a/.gitignore b/.gitignore index 0b2ff7cf2..ec59e5e70 100644 --- a/.gitignore +++ b/.gitignore @@ -75,3 +75,19 @@ cscope.out cscope.files *.log INSTALL +*.aux +*.cp +*.cps +*.dvi +*.fn +*.fns +*.ky +*.pg +*.toc +*.tp +*.vr +*.tps +*.vrs +*.pgs +*.rn +*.rns