--- manual/tools/genredir.sh	2004/03/23 17:17:59	1.1
+++ manual/tools/genredir.sh	2004/10/14 21:08:30	1.3
@@ -3,11 +3,12 @@
 MAPPING="mapping.txt"
 
 # these are not quite recompiled oddballs
-echo "manual http://mitgcm.org/sealion/" >> $MAPPING
-echo "hydrodynamics http://paoc.mit.edu/cmi/development/hydrodynamics.htm" >> $MAPPING
+# 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/sealion/online_documents/" } ;
+           { HTMLPATH = "http://mitgcm.org/pelican/online_documents/" } ;
            { print $3 " " HTMLPATH $1}' >> $MAPPING