From e0bf30651ca5ec6d18efc1fee3a09778db04bfcc Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Fri, 11 Apr 2003 23:35:57 +0000
Subject: [PATCH] getdp->gmsh
---
doc/texinfo/texi2html | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/doc/texinfo/texi2html b/doc/texinfo/texi2html
index a50600c0c8..67d798d8ae 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';
--
GitLab