manual/tools/figsub.sh

#!/bin/csh -f

# Create temporary work directory
\rm -fr figsub
mkdir figsub

# Find "to be replaced" figures, recording html for replacement,
# file to modify and line numbers.
awk -f ../tools/figsub.awk node*.html

# Separate caption, figure image, label and figure number
../tools/caption.sh
../tools/img.sh
../tools/labels.sh
../tools/fignum.sh

# Now find the figures for each extract and make the substitution
../tools/figchange.sh
1	#!/bin/csh -f
2
3	# Create temporary work directory
4	\rm -fr figsub
5	mkdir figsub
6
7	# Find "to be replaced" figures, recording html for replacement,
8	# file to modify and line numbers.
9	awk -f ../tools/figsub.awk node*.html
10
11	# Separate caption, figure image, label and figure number
12	../tools/caption.sh
13	../tools/img.sh
14	../tools/labels.sh
15	../tools/fignum.sh
16
17	# Now find the figures for each extract and make the substitution
18	../tools/figchange.sh