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