1.1 --- a/Admin/makedist	Tue Nov 28 01:22:56 2000 +0100
     1.2 +++ b/Admin/makedist	Tue Nov 28 01:23:45 2000 +0100
     1.3 @@ -9,7 +9,15 @@
     1.4  
     1.5  LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
     1.6  
     1.7 -export CVSROOT=/usr/proj/isabelle-repository/archive
     1.8 +case ${HOST} in
     1.9 +  *broy*)
    1.10 +    export CVSROOT=/usr/proj/isabelle-repository/archive
    1.11 +    ;;
    1.12 +  *.cl.cam.ac.uk)
    1.13 +    export CVSROOT=sunbroy1.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/archive
    1.14 +    ;;
    1.15 +esac
    1.16 +
    1.17  DISTPREFIX=~/tmp/isadist
    1.18  
    1.19  umask 022