From 8446d6fa20f99969d826dcbdb02b78a7c180a4c9 Mon Sep 17 00:00:00 2001
From: Nicola Fontana <ntd@entidi.it>
Date: Mon, 31 Mar 2014 16:19:55 +0200
Subject: [PATCH] nodist: improve .gitignore

Inserted latex and latexmk generated files into .gitignore.
---
 nodist/.gitignore | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/nodist/.gitignore b/nodist/.gitignore
index 38314e90..d69f88cd 100644
--- a/nodist/.gitignore
+++ b/nodist/.gitignore
@@ -1,2 +1,10 @@
 /adg.0
 /adg.log
+/desktop.png
+/overview.pdf
+/web.png
+*.aux
+*.fdb_latexmk
+*.fls
+*.log
+*.mps
-- 
2.11.4.GIT