provide TAGS file for Isabelle sources;
authorwenzelm
Wed Jun 07 14:20:16 2000 +0200 (2000-06-07)
changeset 90527db48fe85b05
parent 9051 887a15590f0e
child 9053 80fca868ec4c
provide TAGS file for Isabelle sources;
Admin/makedist
NEWS
     1.1 --- a/Admin/makedist	Wed Jun 07 14:19:48 2000 +0200
     1.2 +++ b/Admin/makedist	Wed Jun 07 14:20:16 2000 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
     1.5  
     1.6  CVSROOT=/usr/proj/isabelle-repository/archive
     1.7 -DISTBASE=~/tmp/isadist
     1.8 +DISTPREFIX=~/tmp/isadist
     1.9  
    1.10  
    1.11  ## diagnostics
    1.12 @@ -89,6 +89,7 @@
    1.13    UNOFFICIAL=""
    1.14  fi
    1.15  
    1.16 +DISTBASE=$DISTPREFIX/dist-$DISTNAME
    1.17  mkdir -p $DISTBASE || fail "Unable to create distribution base dir $DISTBASE!"
    1.18  [ -e $DISTBASE/$DISTNAME ] && fail "$DISTBASE/$DISTNAME already exists!"
    1.19  [ -e $DISTBASE/pdf/$DISTNAME ] && fail "$DISTBASE/pdf/$DISTNAME already exists!"
    1.20 @@ -120,7 +121,8 @@
    1.21    cd ..
    1.22  done
    1.23  
    1.24 -# make web pages
    1.25 +
    1.26 +# make WWW pages
    1.27  
    1.28  export DISTNAME
    1.29  (cd $DISTBASE/$DISTNAME/Admin/page; make clean; make dist; cd dist; cp * $DISTBASE)
    1.30 @@ -133,7 +135,7 @@
    1.31  MOVE=$(find Doc \( -type f -a \( -name \*.dvi -o -name \*.eps -o -name \*.ps -o -name \*.pdf \) -a -print \) | grep -v 'gfx/.*pdf')
    1.32  mv -f $MOVE Distribution/doc
    1.33  rm Distribution/doc/Isa-logics.eps
    1.34 -rm -rf Admin Doc Tools
    1.35 +rm -rf Doc Tools
    1.36  
    1.37  mkdir src contrib
    1.38  mv $LOGICS src
    1.39 @@ -162,6 +164,9 @@
    1.40  perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README.html
    1.41  lynx -dump README.html >README
    1.42  
    1.43 +( cd src; ../Admin/maketags; )
    1.44 +rm -rf Admin
    1.45 +
    1.46  
    1.47  # create archive
    1.48  
     2.1 --- a/NEWS	Wed Jun 07 14:19:48 2000 +0200
     2.2 +++ b/NEWS	Wed Jun 07 14:20:16 2000 +0200
     2.3 @@ -201,6 +201,8 @@
     2.4  * compression of ML heaps images may now be controlled via -c option
     2.5  of isabelle and isatool usedir (currently only observed by Poly/ML);
     2.6  
     2.7 +* provide TAGS file for Isabelle sources;
     2.8 +
     2.9  * ML: renamed flags Syntax.trace_norm_ast to Syntax.trace_ast; global
    2.10  timing flag supersedes proof_timing and Toplevel.trace;
    2.11