Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision e55ca0532660df6b168cbfe023499f87bda57a53)
+++ doc/user/Makefile	(revision fbaebc66fe0d31635a06b8e5e9c1ab19dcb4d3c7)
@@ -12,4 +12,5 @@
 
 FIGURES = ${addsuffix .tex, \
+Cdecl \
 }