### contents.sh
###
### Create a table of contents

file=$1

echo "<p><ol>"

grep "<a name=" $file | \
  sed "s,<p> <br> <a name=,<li><a href=#,g" | \
  sed "s,</a><h3>,,g" | \
  sed "s,</h3>,,g"  | \
  sed "s,$,</a>,g" 

echo "</ol>"