Index: .gitignore
===================================================================
--- .gitignore	(revision c89503c829d4a9a1493ccab9c3b3c727dba08e49)
+++ .gitignore	(revision 86f384bba584191182741295324fe1ca6656b380)
@@ -54,2 +54,3 @@
 doc/user/pointer1.tex
 doc/user/pointer2.tex
+doc/user/EHMHierarchy.tex