Index: trunk/doc/user/Makefile
===================================================================
--- trunk/doc/user/Makefile	(revision 37030)
+++ trunk/doc/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
Index: trunk/util/build_ps.sh
===================================================================
--- trunk/util/build_ps.sh	(revision 37030)
+++ trunk/util/build_ps.sh	(nonexistent)
@@ -1,94 +0,0 @@
-#!/bin/sh
-
-# convert an ordered list of html documents into ps, using .png versions of
-# .svg images, inserting a page break between any two files.
-
-autotoc()
-{
-awk '
-	function inclev(level   ,n,s) {
-		NUM[level]++
-		for(n = level+1; n < 9; n++)
-			NUM[n] = ""
-
-		for(n = 1; n <= level; n++)
-			s = s NUM[n] "."
-		return s
-	}
-
-	/<head/, /<.head/ { next }
-	/nopdf=.yes./ { next }
-
-	(match($0, "<[Hh][1-9][^>]*[>]")) {
-		h=substr($0, RSTART, RLENGTH)
-
-		level=h
-		sub("..", "", level)
-		sub("[^0-9].*$", "", level)
-
-		if (h ~ "autotoc=.yes.") {
-			sect=inclev(level)
-			print substr($0, 0, RSTART+RLENGTH-1), sect, substr($0, RSTART+RLENGTH)
-			next
-		}
-		else {
-			num=substr($0, RSTART+RLENGTH)
-			sub("^[	 ]*", "", num)
-			sub("[	 ].*$", "", num)
-			v = split(num, A, "[.]")
-			if (A[1] == int(A[1])) {
-				# learn number
-				if (A[v] == "")
-					v--
-				if (v != level) {
-					print "WARNING: wrong section numbering (expected h" v " got h" level "): " $0 > "/dev/stderr"
-				}
-				for(n = 1; n <= v; n++)
-					NUM[n] = A[n]
-				for(n = v+1; n < 9; n++)
-					NUM[n] = ""
-			}
-			else {
-				print "WARNING: unnumbered section", $0 > "/dev/stderr"
-			}
-		}
-	}
-
-	{ print $0 }
-'
-}
-
-### main ###
-
-(for n in "$@"
-do
-	bn1=`dirname $n`
-	for svg in `ls $bn1/*.svg 2>/dev/null`
-	do
-		png=${svg%%.svg}.png
-		if test ! -f $png
-		then
-			echo "Converting $svg to $png..." >&2
-			convert $svg $png
-		fi
-	done
-	if test -f "$n"
-	then
-		case "$n" in
-			*.html)
-				echo "<!--NewPage-->";
-				sed "$HTML2PS_SED;s/\.svg/.png/g;s@src=\"@src=\"$bn1/@g" "$n"
-				;;
-			*.png|*.svg) ;;
-			*)
-				echo "<table border=1 cellspacing=0><tr><td>"
-				echo "<p>$n:"
-				echo "<pre>"
-				cat $n
-				echo "</pre>"
-				echo "</table>"
-		esac
-	fi
-done) | autotoc | tee HTML2PS.html | html2ps $HTML2PS_OPTS --colour
-
-echo html2ps $HTML2PS_OPTS --colour >&2

Property changes on: trunk/util/build_ps.sh
___________________________________________________________________
Deleted: svn:executable
## -1 +0,0 ##
-*
\ No newline at end of property