: Filter for converting a MATHS document into HTML. Version for Sun OS sed. : NEEDS compiled version of ascii2html.c # if [ $# -eq 0 ]; then echo Usage: $0 input_file\[.mth\]; exit 1; fi if expr $1 : '.*\.mth$' >/dev/null then mthfile=$1; name=`expr $mthfile : '\(.*\)\.mth$`; htmlfile=$name.html else name=$1; mthfile=$1.mth; htmlfile=$1.html fi # extract contents list and index tmp=/tmp/mth2html$$; index=$tmp.index; contents=$tmp.contents trap "rm $tmp*" 1 2 3 sed -n '/^[ ]*\([A-Za-z0-9_]*\)[ ]*::=[ ]*Net.*$/s//