# HG changeset patch
# User wenzelm
# Date 960380416 -7200
# Node ID 7db48fe85b054ef76372f04a2a94f20352223faa
# Parent  887a15590f0e82f427316c3aec44039ca87f6079
provide TAGS file for Isabelle sources;

diff -r 887a15590f0e -r 7db48fe85b05 Admin/makedist
--- 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
 
diff -r 887a15590f0e -r 7db48fe85b05 NEWS
--- a/NEWS	Wed Jun 07 14:19:48 2000 +0200
+++ b/NEWS	Wed Jun 07 14:20:16 2000 +0200
@@ -201,6 +201,8 @@
 * compression of ML heaps images may now be controlled via -c option
 of isabelle and isatool usedir (currently only observed by Poly/ML);
 
+* provide TAGS file for Isabelle sources;
+
 * ML: renamed flags Syntax.trace_norm_ast to Syntax.trace_ast; global
 timing flag supersedes proof_timing and Toplevel.trace;