1.1 --- a/Admin/Mercurial/convert	Wed Sep 03 19:52:45 2008 +0200
     1.2 +++ b/Admin/Mercurial/convert	Wed Sep 03 20:04:54 2008 +0200
     1.3 @@ -16,24 +16,10 @@
     1.4  
     1.5  ## hg convert
     1.6  
     1.7 -case $(hostname) in
     1.8 -
     1.9 -atbroy51)
    1.10 -export HG=/home/isabelle-repository/repos/mercurial-atbroy51/bin/hg
    1.11 -export PYTHONPATH=/home/isabelle-repository/repos/mercurial-atbroy51/lib/python2.4/site-packages
    1.12 -;;
    1.13 -
    1.14 -atbroy100)
    1.15 -export HG=/home/isabelle-repository/repos/mercurial-atbroy100/bin/hg
    1.16 -export PYTHONPATH=/home/isabelle-repository/repos/mercurial-atbroy100/lib64/python2.4/site-packages
    1.17 -;;
    1.18 -
    1.19 -esac
    1.20 -
    1.21  export HGRCPATH="$THIS/cvs/Admin/Mercurial/hgrc"
    1.22  
    1.23  cd "$THIS"
    1.24 -"$HG" convert --filemap cvs/Admin/Mercurial/filemap cvs hg >> "$LOG" 2>&1 || exit 2
    1.25 +/home/isabelle/mercurial/bin/hg convert --filemap cvs/Admin/Mercurial/filemap cvs hg >> "$LOG" 2>&1 || exit 2
    1.26  
    1.27  [ -e hg/.hg/hgrc ] || ln -s ../../cvs/Admin/Mercurial/hgrc hg/.hg/hgrc
    1.28