From 0398ecb4ed76dc81805f7c5336228565ef4a7cee Mon Sep 17 00:00:00 2001
From: cignoni <paolo.cignoni@isti.cnr.it>
Date: Fri, 5 Oct 2012 16:46:39 +0000
Subject: [PATCH] updated instructions on how to update eigen...

---
 eigenlib/howto.txt | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/eigenlib/howto.txt b/eigenlib/howto.txt
index fd31fd3d..4daadb8e 100644
--- a/eigenlib/howto.txt
+++ b/eigenlib/howto.txt
@@ -1,7 +1,9 @@
-Current Eigen Version 3.05 (10.02.2012)
+Current Eigen Version 3.1.1 (05.Oct.2012)
 To update the lib:
 - download Eigen
 - unzip it somewhere
+- delete (in the filesystem) the content of the folder eigenlib/Eigen and eigenlib/unsupported
 - copy the two folders 'Eigen' and 'unsupported' here 
+- check the svn status, svn-add the new files and svn-remove the missing ones.
 - update this file
-- commit
\ No newline at end of file
+- commit everything