manual/tools/genredir.sh

#!/bin/sh

MAPPING="mapping.txt"

# these are not quite recompiled oddballs
# afe: now done properly
#echo "manual http://mitgcm.org/sealion/" >> $MAPPING
#echo "hydrodynamics http://paoc.mit.edu/cmi/development/hydrodynamics.htm" >> $MAPPING

grep -r CMIREDIR *.html | \
awk 'BEGIN { FS = ":" } ;
           { HTMLPATH = "http://mitgcm.org/pelican/online_documents/" } ;
           { print $3 " " HTMLPATH $1}' >> $MAPPING

1	afe	1.1	#!/bin/sh
2
3			MAPPING="mapping.txt"
4
5			# these are not quite recompiled oddballs
6	afe	1.2	# afe: now done properly
7			#echo "manual http://mitgcm.org/sealion/" >> $MAPPING
8			#echo "hydrodynamics http://paoc.mit.edu/cmi/development/hydrodynamics.htm" >> $MAPPING
9	afe	1.1
10			grep -r CMIREDIR *.html \| \
11			awk 'BEGIN { FS = ":" } ;
12	edhill	1.3	{ HTMLPATH = "http://mitgcm.org/pelican/online_documents/" } ;
13	afe	1.1	{ print $3 " " HTMLPATH $1}' >> $MAPPING
14