diff -r 52c7c42e7e27 -r a701c0b951d8 Admin/Mercurial/convert
--- a/Admin/Mercurial/convert	Thu Jul 03 11:16:33 2008 +0200
+++ b/Admin/Mercurial/convert	Thu Jul 03 12:53:38 2008 +0200
@@ -11,16 +11,18 @@
 case $(hostname) in
 
 atbroy51)
-MERCURIAL=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/bin/hg
+export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/bin/hg
 export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/lib/python2.4/site-packages
 ;;
 
 atbroy100)
-MERCURIAL=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/bin/hg
+export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/bin/hg
 export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/lib64/python2.4/site-packages
 ;;
 
 esac
 
+export HGRCPATH="$THIS/cvs/Admin/Mercurial/hgrc"
+
 cd "$THIS"
-"$MERCURIAL" convert --filemap cvs/Admin/Mercurial/filemap cvs hg
+"$HG" convert --filemap cvs/Admin/Mercurial/filemap cvs hg