Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision 218aecf8e7277ec6ef4a7c6bfbde45c99eeb3a3f)
+++ doc/user/Makefile	(revision ad0be81733371b9a8190b6b92c4a8457cf5f4801)
@@ -12,4 +12,5 @@
 
 FIGURES = ${addsuffix .tex, \
+EHMHierarchy \
 Cdecl \
 pointer1 \