Ignore uninteresting files.

diff --git a/.gitignore b/.gitignore
index cc1dc125f3360ea2151b437a49633477e06add84..4ccfb2ded0a84868b153d796f7341af774add4d2 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,9 +1,14 @@
+### Uninteresting files.
+
+## (La)TeX debris
 *.aux
-*.dvi
+*.bbl
+*.lof
 *.log
-*.x86f
-*~
-\#*
-.#*
-*.[0-9]
+*.lot
+*.out
+*.toc
+
+## Output files
+*.pdf
 *.ps