From e52a21507f2016fa0ff0f2039345f264a0649e8d Mon Sep 17 00:00:00 2001 From: GAP Date: Wed, 13 Jun 2007 16:02:50 +0000 Subject: [PATCH] Reset GAPInfo.TermEncoding after loading workspace. git-svn-id: path/gapdoc/trunk@177 --- init.g | 3 ++- toweb | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/init.g b/init.g index a38aaaf..6701aea 100644 --- a/init.g +++ b/init.g @@ -2,7 +2,7 @@ ## #A init.g GAPDoc Frank Lübeck / Max Neunhöffer ## -#H @(#)$Id: init.g,v 1.15 2007-05-14 20:10:57 gap Exp $ +#H @(#)$Id: init.g,v 1.16 2007-06-13 16:02:50 gap Exp $ ## #Y Copyright (C) 2000, Frank Lübeck and Max Neunhöffer, #Y Lehrstuhl D für Mathematik, RWTH Aachen @@ -61,4 +61,5 @@ GAPInfo.tmpfunc := function() fi; end; GAPInfo.tmpfunc(); +Add(POST_RESTORE_FUNCS, GAPInfo.tmpfunc); Unbind(GAPInfo.tmpfunc); diff --git a/toweb b/toweb index 1a608eb..d1345fe 100755 --- a/toweb +++ b/toweb @@ -1,6 +1,6 @@ #!/bin/bash -WEBDIR=$HOME"/MyWWWHome/web/~Frank.Luebeck/gap/GAPDocX/" +WEBDIR=$HOME"/MyWWWHome/web/~Frank.Luebeck/gap/GAPDoc/" echo "Copying files to this web directory, is that ok?" echo " "$WEBDIR