Admin/makedist

 ## global settings
 
 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
 
 CVSROOT=/usr/proj/isabelle-repository/archive
-DISTBASE=~/tmp/isadist
+DISTPREFIX=~/tmp/isadist
 
 
 ## diagnostics
 
 PRG=$(basename $0)

   DISTVERSION="$DISTNAME: $DISTDATE"
   EXPORT="export -r $VERSION"
   UNOFFICIAL=""
 fi
 
+DISTBASE=$DISTPREFIX/dist-$DISTNAME
 mkdir -p $DISTBASE || fail "Unable to create distribution base dir $DISTBASE!"
 [ -e $DISTBASE/$DISTNAME ] && fail "$DISTBASE/$DISTNAME already exists!"
 [ -e $DISTBASE/pdf/$DISTNAME ] && fail "$DISTBASE/pdf/$DISTNAME already exists!"
 
 

   make dvi
   [ -n "$PDFLATEX" ] && make clean pdf
   cd ..
 done
 
-# make web pages
+
+# make WWW pages
 
 export DISTNAME
 (cd $DISTBASE/$DISTNAME/Admin/page; make clean; make dist; cd dist; cp * $DISTBASE)
 
 

 cd $DISTBASE/$DISTNAME
 
 MOVE=$(find Doc \( -type f -a \( -name \*.dvi -o -name \*.eps -o -name \*.ps -o -name \*.pdf \) -a -print \) | grep -v 'gfx/.*pdf')
 mv -f $MOVE Distribution/doc
 rm Distribution/doc/Isa-logics.eps
-rm -rf Admin Doc Tools
+rm -rf Doc Tools
 
 mkdir src contrib
 mv $LOGICS src
 
 mv Distribution/* .

 perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index.html
 perl -pi -e "s/Isabelle repository/$DISTVERSION/" src/Pure/ROOT.ML
 perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README.html
 lynx -dump README.html >README
 
+( cd src; ../Admin/maketags; )
+rm -rf Admin
+
 
 # create archive
 
 cd $DISTBASE