Index: .gitignore
===================================================================
--- .gitignore	(revision 96a05cdeb216257082dd12c9e88c42f497932356)
+++ .gitignore	(revision b0f7a431679f3dd6bb471f22feea766dda4b90ef)
@@ -54,2 +54,3 @@
 doc/user/pointer1.tex
 doc/user/pointer2.tex
+doc/user/EHMHierarchy.tex