Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision 554a0dba687f5fe1c810207608c083be214d1276)
+++ doc/user/Makefile	(revision a17e7b8842a8607a2a53eaf202f9cf7841a5563f)
@@ -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" #