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