Update of /u/gcmpack/manual/tools In directory dickens:/tmp/cvs-serv12147/tools Modified Files: genredir.sh Log Message: o making link redirection fit better into the wider world