Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision 554a0dba687f5fe1c810207608c083be214d1276)
+++ doc/user/Makefile	(revision 4e06c1ebfdf762654ec91b9a78bae607f25fba19)
@@ -13,7 +13,9 @@
 FIGURES = ${addsuffix .tex, \
 Cdecl \
+pointer1 \
 }
 
 PICTURES = ${addsuffix .pstex, \
+pointer2 \
 }
 
@@ -71,4 +73,8 @@
 	fig2dev -L ps $< > $@
 
+%.pstex : %.fig
+	fig2dev -L pstex $< > $@
+	fig2dev -L pstex_t -p $@ $< > $@_t
+
 # Local Variables: #
 # compile-command: "make" #