# HG changeset patch
# User wenzelm
# Date 1215082418 -7200
# Node ID a701c0b951d8a40ab389c8dfb15f21ab65624ae3
# Parent  52c7c42e7e27cac37c504257be7e6ac8a4f1e273
provide HGRCPATH, taken from cvs/Admin;
replaced MERCURIAL by HG, which is also used by Mercurial internally;

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