--- manual/tools/genredir.sh	2004/03/24 22:35:28	1.2
+++ manual/tools/genredir.sh	2004/10/14 21:08:30	1.3
@@ -9,6 +9,6 @@
 
 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