#!/bin/sh
###################################################################
#   Details about a variability type (in $1)
###################################################################

txt=$theCat/vartype.txt
echo1 \
  "\section*{Variability type {\fg{red4}$1} (from \glutag{getCatFile.w $txt})}"

echo1 "\begin{PRE}"
rexp=`echo "$1"|tr '/:' '| '`
fcat vartype.txt | gawk "/^($rexp) /"'{p=1; printf "{\\bf\\fg{red4}%s}", $1;\
     i=index($0," "); while(substr($0,i,1)==" ") { printf " "; i++ } \
     print substr($0,i); next }\
   {if(p>0) print}\
 /^$/{p=0}'

echo1 "\end{PRE}"