#!/bin/csh -f
#++++++++++++++++
#.IDENTIFICATION getclass
#.LANGUAGE       display(?)
#.AUTHOR         CDS Catalogues Service
#.ENVIRONMENT    
#.KEYWORDS       
#.VERSION  1.0   02-Mar-1998: Creation
#.VERSION  1.1   11-Oct-2001: Use "printf" rather than "echo"
#.PURPOSE        Display IUE class
#.COMMENTS       Argument = class number (not required)
#----------------

if ($#argv >= 1) then
    set theclass = $1 ; shift
else
    set theclass = 100
endif

@ skip = $1 * 1024 - 1023

if ($?HTTP_HOST) then
    printf "\\section*{List of IUE Classes}"
    printf "\\begin{alltty}\n"
endif

# Boldface the class number
gawk -v class=$theclass '/^List of IUE Clas/{ show=1; next} \
   /^$/{if (show>0)exit}\
   {if(show!=1) next; if ((class%50) != $1) { print; next} \
   if (class > 99) { print; next} \
   if (class < 50) print "{\\bf\\fg{red3}" substr($0,1,38) "}" substr($0,39); \
   else print substr($0,1,38) "{\\bf\\fg{red3}" substr($0,39) "}"} ' ReadMe

if ($?HTTP_HOST) printf "\\end{alltty}"
exit 0