archive/bin/update-version

   1 #!/bin/sh
   2
   3 if [ ! "${HOME}" = "/usr/u9/wfs" ]; then echo not updating version number ;
   4  exit 0
   5 fi
   6 echo incrementing minor version
   7 # if you are wfs increment the minor version number.
   8 # if this is an HP comment out the next if down to fi
   9 echo '(@ VER = `cat ../minvers` + 1 ; echo ${VER} > ../minvers)' | /bin/csh
  10 echo '(setf (get :maxima :version)`('`cat ../majvers` `cat ../minvers` \"`date`\" \)\) > ../src/version.lisp
  11
  12