# uninfo
# Dorai Sitaram

# Shell script for converting Eplain's .texi
# files into the corresponding .tex files
# that will be suitable for conversion to HTML.

# In general, convert file.texi to file.tex.
# However, eplain.texi and arrow.texi become
# eplain-doc.tex and arrow-doc.tex resply,
# because the names eplain.tex and arrow.tex
# are taken.

# The conversion is done by the vi script
# uninfo.vi (qv).

for f in *.texi
do
  if test $f = eplain.texi
  then g=eplain-doc.tex
  elif test $f = arrow.texi
  then g=arrow-doc.tex
  else
    g=$(basename $f .texi).tex
  fi
  echo Creating $g
  cp -p $f $g
  vi -e -s $g < uninfo.vi
done

