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