#!/bin/csh

# Make a version of diss.ps that has the date in the table of contents.
# Warning: If this makes the table of contents go one more page, then
# the page counts will all be wrong!!!!

set temp=dodatever.temp		# assumes only one person using this at once

# Add one line to the top of diss.toc
/usr/bakken/bin/dateprint "%a %d %h %y" >date.tex
/usr/bakken/bin/dateprint "%H%M" >time.tex
cat datever.tex diss.toc > $temp
mv $temp diss.toc

./fixtable