diff --git a/doc/texinfo/texi2html b/doc/texinfo/texi2html
index a50600c0c8b7fa116d926ddb4ae9737f53c99bcc..67d798d8ae940cb3b34fe77239bddec2240f3a4c 100644
--- a/doc/texinfo/texi2html
+++ b/doc/texinfo/texi2html
@@ -36,7 +36,7 @@ require 5.0;
#--##############################################################################
# CVS version:
-# $Id: texi2html,v 1.1 2003-03-12 23:41:45 geuzaine Exp $
+# $Id: texi2html,v 1.2 2003-04-11 23:35:57 geuzaine Exp $
# Homepage:
$T2H_HOMEPAGE = <<EOT;
@@ -92,7 +92,7 @@ eval { ($T2H_USER = (getpwuid ($<))[6]) =~ s/,.*//;}; # Who am i
# Copy this file and make changes to it, if you like.
# Afterwards, either, load it with command-line option -init_file <your_init_file>
#
-# $Id: texi2html,v 1.1 2003-03-12 23:41:45 geuzaine Exp $
+# $Id: texi2html,v 1.2 2003-04-11 23:35:57 geuzaine Exp $
######################################################################
# stuff which can also be set by command-line options
@@ -912,7 +912,7 @@ $T2H_BODYTEXT = 'LANG="' . $T2H_LANG . '" BGCOLOR="#FFFFFF" TEXT="#000000" LINK=
# text inserted after <BODY ...>
$T2H_AFTER_BODY_OPEN = '';
#text inserted before </BODY>
-$T2H_PRE_BODY_CLOSE = 'Back to <a href="/">geuz.org</a>/<a href="/getdp/">getdp</a>';
+$T2H_PRE_BODY_CLOSE = 'Back to <a href="/">geuz.org</a>/<a href="/gmsh/">gmsh</a>';
# this is used in footer
$T2H_ADDRESS = "by <I>$T2H_USER</I> " if $T2H_USER;
$T2H_ADDRESS .= "on <I>$T2H_TODAY</I>";
@@ -1517,7 +1517,7 @@ package Getopt::MySimple;
# --------------------------------------------------------------------------
# Locally modified by obachman (Display type instead of env, order by cmp)
-# $Id: texi2html,v 1.1 2003-03-12 23:41:45 geuzaine Exp $
+# $Id: texi2html,v 1.2 2003-04-11 23:35:57 geuzaine Exp $
# use strict;
# no strict 'refs';