--- 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