Make preamble

[linuxnijmegen-make.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 211afd9..e13ad12 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,7 @@
 *.snm
 *.nav
 *.toc
+*.mlog
+*.ps*
+*.fmt
+*.dvi