Autzoo.592
hacknews
utzoo!henry
Thu May  7 19:36:19 1981
awk(1) update finished
The awk(1) manual page has been updated to describe the differences
between the original V7 awk and the update-tape awk that was installed
the other day.  The awk manual will not be updated at this time.