chmod +x ${AST_REF}/addcopyright
copyright="`echo '<COPYRIGHT_STATEMENT>' | ${AST_REF}/addcopyright`"

rm -f -r sun210.htx sun211.htx
star2html -c "${copyright}" sun210
star2html -c "${copyright}" sun211

export HTX_PATH
HTX_PATH=.:/star/docs:/star/help
hlink