Tweak .gitignore

diff --git a/docs/.gitignore b/docs/.gitignore
index aead2b515737a10ad93eae2483e4d8fcf6198d66..ff1534e688d42b8d29ea1c94840ba03390aced0c 100644 (file)
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -6,6 +6,9 @@ Makefile
 *.maf
 *.toc
 *.mtc*
+*.aux
+*.log
+*.old
 */version.tex
 manuals/en/*/version.tex
 manuals/*/*/version.tex