--- a/Admin/makedist Wed Jun 07 14:19:48 2000 +0200
+++ b/Admin/makedist Wed Jun 07 14:20:16 2000 +0200
@@ -10,7 +10,7 @@
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
@@ -89,6 +89,7 @@
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!"
@@ -120,7 +121,8 @@
cd ..
done
-# make web pages
+
+# make WWW pages
export DISTNAME
(cd $DISTBASE/$DISTNAME/Admin/page; make clean; make dist; cd dist; cp * $DISTBASE)
@@ -133,7 +135,7 @@
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
@@ -162,6 +164,9 @@
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