Really remove zn from declare-top
[maxima.git] / admin / make_snapshots
blobfe3f7638638b36b610d340d3f397c2019c57cb23
1 #!/bin/sh -x
3 # prepare
4 cd /tmp
5 if [ -d snapshots ]; then
6 echo "snapshots directory already exists. Exiting." >& 2
7 exit 1
8 fi
9 mkdir snapshots
11 # checkout
12 cd snapshots
13 cvs -z6 -d cvs.Maxima.sourceforge.net:/cvsroot/maxima co maxima
14 if [ "$?" != "0" ]; then
15 echo "cvs checkout failed. Aborting"
16 rmdir .
17 exit 1
20 # change CVS/Root files to anonymous
21 echo ':pserver:anonymous@cvs.Maxima.sourceforge.net:/cvsroot/maxima' > Root
22 find maxima -name Root -exec cp Root {} \;
24 # bootstrap
25 cd maxima
26 thisdate="`date +'%F'`"
27 sed "s/AM_INIT_AUTOMAKE(maxima,.*/AM_INIT_AUTOMAKE(maxima,cvs-$thisdate)/" configure.in > tmp
28 mv tmp configure.in
29 ./bootstrap
31 # build docs
32 cd ..
33 cp -r maxima maxima-doc
34 cd maxima-doc
35 ./configure
36 cd doc/info
37 make
38 cp *.info* *.html ../../../maxima/doc/info
39 cd ../../..
41 # make archives
42 maximadate="maxima-$thisdate"
43 mv maxima "$maximadate"
44 zip -r "$maximadate".zip "$maximadate"
45 tar zcf "$maximadate".tar.gz "$maximadate"