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	cnh	1.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