diff -r 939cac0f3638 -r 06ced28bcbb8 .hgignore
--- a/.hgignore	Mon May 12 14:07:20 2014 +0200
+++ b/.hgignore	Mon May 12 14:14:52 2014 +0200
@@ -1,12 +1,9 @@
 syntax:glob
-mk2014.aux
-mk2014.log
-mk2014.nav
-mk2014.out
-mk2014.pdf
-mk2014.snm
-mk2014.toc
-mk2014.vrb
-procs.pdf
-routing.pdf
-routing2.pdf
+*.aux
+*.log
+*.nav
+*.out
+*.pdf
+*.snm
+*.toc
+*.vrb