Index: user/Makefile
===================================================================
--- user/Makefile	(revision 37030)
+++ user/Makefile	(revision 37031)
@@ -1,5 +1,4 @@
 ROOT=../..
-BUILD=$(ROOT)/util/build_ps.sh
 USERDIR=$(DOCDIR)/user
 
 INSTD = 02_model 03_data 04_invoc 05_ui 06_feature 07_io \
@@ -8,6 +7,7 @@
 all: pdf
 
 include $(ROOT)/Makefile.conf
+include $(LIBRND_MAK)
 
 pdf: user1.pdf user2.pdf user3.pdf
 
@@ -17,14 +17,14 @@
 ps_header.png: ../resources/header_600.png
 	cp ../resources/header_600.png ps_header.png
 
-user1.ps: ps1.lst $(BUILD) default.css Makefile ps_logo.png ps_header.png
-	HTML2PS_OPTS="-f default.css --toc h" HTML2PS_SED="s^%%%volume%%%^Volume 1: Core functionality^;s^%%%ver%%%^Version $(PCB_RND_VER)^g" $(BUILD) `cat ps1.lst` > user1.ps
+user1.ps: ps1.lst $(BUILD_PS) default.css Makefile ps_logo.png ps_header.png
+	HTML2PS_OPTS="-f default.css --toc h" HTML2PS_SED="s^%%%volume%%%^Volume 1: Core functionality^;s^%%%ver%%%^Version $(PCB_RND_VER)^g" $(BUILD_PS) `cat ps1.lst` > user1.ps
 
-user2.ps: ps2.lst $(BUILD) default.css Makefile ps_logo.png ps_header.png
-	HTML2PS_OPTS="-f default.css --toc h" HTML2PS_SED="s^%%%volume%%%^Volume 2: Plugins and utilities^;s^%%%ver%%%^Version $(PCB_RND_VER)^g" $(BUILD) `cat ps2.lst` > user2.ps
+user2.ps: ps2.lst $(BUILD_PS) default.css Makefile ps_logo.png ps_header.png
+	HTML2PS_OPTS="-f default.css --toc h" HTML2PS_SED="s^%%%volume%%%^Volume 2: Plugins and utilities^;s^%%%ver%%%^Version $(PCB_RND_VER)^g" $(BUILD_PS) `cat ps2.lst` > user2.ps
 
-user3.ps: ps3.lst $(BUILD) default.css Makefile ps_logo.png ps_header.png
-	HTML2PS_OPTS="-f default.css --toc h" HTML2PS_SED="s^%%%volume%%%^Volume 3: Appendix and misc^;s^%%%ver%%%^Version $(PCB_RND_VER)^g" $(BUILD) `cat ps3.lst` > user3.ps
+user3.ps: ps3.lst $(BUILD_PS) default.css Makefile ps_logo.png ps_header.png
+	HTML2PS_OPTS="-f default.css --toc h" HTML2PS_SED="s^%%%volume%%%^Volume 3: Appendix and misc^;s^%%%ver%%%^Version $(PCB_RND_VER)^g" $(BUILD_PS) `cat ps3.lst` > user3.ps
 
 user1.pdf: user1.ps
 	ps2pdf user1.ps