#!/bin/csh
#
#  This is a cshell which is used to make a distribution release.
#  It is called by the top-level makefile
#
#  A. Shankar (9/94)

set ISONGDIR = /chandra/anurag/indian/isongs/isongs-3.0
set ISONGCAT = $ISONGDIR/isongcat

if ($1 == 'www') then

   # Make the WWW server relase:
   #
   # Convert all .s, .itx, and .tex files to .ps, individually
   # for the WWW server

   foreach i (*.s *.tex *.itx)
      /bin/make -f $ISONGDIR/makefile.unx $i:r.ps
   end

   # Now, move them into the appropriate distribution dir
   #

   /bin/mv *.ps ~/dist/WWW/ps/hindi/

else if ($1 == 'ftp') then

   # Make the FTP server relase:
   #
   # Concatenate all files into one big file

   $ISONGCAT 500 599 > h500-599.s

   # Convert to .ps

   /bin/make -f $ISONGDIR/makefile.unx h500-599.ps

   # move to the proper dist dir

   /bin/mv h500-599.ps ~/dist/ftp/ps/hindi/
   /bin/rm h500-599.s

else

   echo "Usage:  dist (www or ftp)"

endif
