#! /bin/csh -f
# Last edited on 1999-04-15 02:24:50 by stolfi

set usage = "$0 PREV NEXT"

# Writes HTML code for buttons labeled PREV, 'index', and NEXT that 
# link to PREV.htm, index.htm, and NEXT.htm

if ( $#argv != 2 ) then
  echo "usage: $usage" > /dev/stderr; exit 1
endif

set prev = "$1"; shift;
set next = "$1"; shift;

cat <<EOF
<b><tt><pre>
[<a href="${prev}.htm">${prev}</a>]  [<a href="index.htm">index</a>]  [<a href="${next}.htm">${next}</a>]
</pre></tt></b>
EOF