shiphtml

   1 #!/bin/csh
   2 # Usage: shiphtml version
   3 # E.g., shiphtml 3.4.pl0
   4 # To be sure everything is in sync, do this right after making a distribution.
   5 #  Otherwise the documentation and/or FAQ might reflect work in progress.
   6
   7 set v=$1
   8 set w=`echo $v | tr . _`
   9 set r=$HOME/tim-mann/httpdocs
  10
  11 (cd linux ; make all more)
  12 #rm -f ${r}/xboard/*
  13 cp -f FAQ.html ../xboard.distrib/xboard-${v}.tar.gz linux/*.html zippy.README \
  14     engine-intf.html ics-parsing.txt ChangeLog linux/xboard.ps \
  15     ${r}/xboard/
  16 cp -f ../xboard.distrib/relmsg/${v} \
  17     ${r}/xboard/xboard-${v}.README
  18
  19 #rm -f ${r}/winboard/*
  20 cp -f ../xboard.distrib/winboard{-${w}.exe,-${w}-src.{zip,tar.gz}} ChangeLog \
  21     ${r}/winboard/
  22 cp -f ../xboard.distrib/winboard-${w}/winboard.hlp \
  23     ${r}/winboard/
  24 cp -f ../xboard.distrib/relmsg/${v} \
  25     ${r}/winboard/winboard-${w}.README