diff options
Diffstat (limited to 'ast/buildhyperdocs')
-rwxr-xr-x | ast/buildhyperdocs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/ast/buildhyperdocs b/ast/buildhyperdocs deleted file mode 100755 index 23a07e1..0000000 --- a/ast/buildhyperdocs +++ /dev/null @@ -1,11 +0,0 @@ - -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 |