# -*-perl-*-
#/*@@
# @file grdoc_helppage
# @date Sun Apr 21 11:32:13 1996
# @author Paul Walker
# @desc
# Makes the grdoc help page.
# @enddesc
# @comment
# $Id: grdoc_helppage,v 1.3 1996/04/21 16:33:12 pwalker Exp $
#
# @endcomment
#@@*/
#/*@@
# @routine make_helppage
# @date Sun Apr 21 11:32:50 1996
# @author Paul Walker
# @desc
# Writes the help page.
# @enddesc
#@@*/
sub
make_helppage
{
open (OUT, "> $opt_o/Help.html") || die "helppage $!\n";
&html_head("Help with grdoc");
print OUT "
This documentation was created by the grdoc system. For more information on the system, see the grdoc home page.