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