: Filter for converting a MATHS input into Body of HTML output. LOCALHOSTDOMAIN=.csci.csusb.edu; export LOCALHOSTDOMAIN LOCALHOST=www$LOCALHOSTDOMAIN; export LOCALHOST BIBLIOGRAPHYURL="http:\\/\\/www.csci.csusb.edu\\/dick\\/bib.html" if [ $# -ne 0 ]; then echo Usage: $0; exit 1; fi htmlbase="" # echo '

This page generated at '`date`'.' echo "

\1<\/i>/g :end'| ( sed '/^\.Close/{ s/^\.Close\.[NL]et.*/<\/ol>
End.
/ s/^\.Close\.Set.*/<\/ul>/ s/^\.Close\.Box.*/<\/ol>
/ s/^\.Close\.Table.*/<\/tr><\/td><\/table>/ /^\.Close $.*$/s//
. . . . . . . . . ( end of section \1<\/A>) <\/em>/ /^\.Close/d bdone } /^\.As_is/{ s/^\.As_is$.*$/
\1<\/pre>/ bdone } s/^$/
/ /::/bnwff /|-/{ s/^[ ]*([ ]*)|-[ ]*/ (above)|-/ s/^[ ]*($[^),]*$$[^)]*$)[ ]*|-[ ]*/
(\1<\/X>\2)|-/ :whileX /<.X>/{ s/<.X>,[ ]*$[^),]*$/<\/A>, \1<\/X>/ s/<.X>[ ]*)/<\/A>) / bwhileX } s/^[ ]*|-[ ]*/
|-/ s/$.*(.*$|-[ ]*($.*$):/\1 |-<\/A>(\2): / s/^[ ][ ]*($[^)][^)]*$):[ ]*/
(\1): / s/^($[^)][^)]*$):[ ]*/
(\1): / s/($[^)][^)]*$):/(\1<\/A>): / bnwff } s/($[^)][^)]*$):[ ]*/
(\1<\/A>): / s/^[ ][ ]*/
/ :nwff s/--($[^)][^)]*$)$/-- -- --(\1<\/A>)
/ /{.*}/!{ s/^[ ]*Let[ ]*{/
Let{
/ s/^[ ]*[pP]o[ ]*{/
Po{
/ s/^[ ]*Case[ ]*{/
Case{
/ s/^[ ]*Else[ ]*/
Else/ s/^[ ]*Consider[ ]*{/
Consider{
/ s/^$.*$Net[ ]*{[ ]*/\1 Net{
/ } :ends /{.*}/!{ s/^
$}[.,]*$[ ]*$/
\1<\/ol>/ s/^
$}[.,]*$[ ]*$/
\1<\/ol>/ s/^[ ]*$}[.,]*$[ ]*$/
\1<\/ol>/ /^[ ]*}=::.*$/{ s/^[ ]*$}=::.*$$/<\/ol>
\1/ bdone } } /^\.See /{ s/^\.See[ ]*mailto:$.*$$[,.:; ]*$$/\1<\/A>\2/ s/^\.See[ ]*telnet:$.*$$[,.:; ]*$$/\1<\/A>\2/ s/^\.See[ ]*ftp:$.*$$[,.:; ]*$$/\1<\/A>\2/ s/^\.See[ ]*news:$.*$$[,.:; ]*$$/\1<\/A>\2/ s/^\.See $'$BIBLIOGRAPHYURL'$#[ ]*$.*$[ ]*$/\[\2<\/cite><\/A>\]/ s/^\.See [ ]*\[$.*$\][ ]*$/\[\1<\/cite><\/A>\]/ s/^\.See [ ]*\[$.*$\]$.*$$/\[\1<\/cite><\/A>\]\2/ s/\/\/www\//\/\/'$LOCALHOST'\// s/^\.See $.*$:$\/\/.*$\/$[^/]*$\.$[^.][^.]*$#$.*$$/\[ \5 in \3<\/cite> <\/A>\]/ s/^\.See $.*$:$\/\/.*$\/$[,.:; ][,.:; ]*$$/\[ \1:\2\/<\/cite><\/A> \] \3 / s/^\.See $.*$:$\/\/.*$\/$/\[ \1:\2\/<\/cite> <\/A>\]/ s/^\.See $.*$:$\/\/.*$\/$[^/]*$$[,.:; ][,.:; ]*$$/\[ \3<\/cite><\/A>\] \4 / s/^\.See $.*$:$\/\/.*$\/$[^/]*$$/\[ \3<\/cite> <\/A>\]/ s/^\.See $.*$:$\/\/.*$\/$[^/]*$\.$[^.]*$$[,.:; ][,.:; ]*$$/\[ \3<\/cite><\/A>\] \5/ s/^\.See $.*$:$\/\/.*$\/$[^/]*$\.$[^.]*$$/\[ \3<\/cite><\/A>\] / s/^\.See $.*$:$\/[^/].*$$[,.:; ][,.:; ]*$$/ [\2]<\/A> \3/ s/^\.See $.*$:$\/[^/].*$$/ [\2] <\/A>/ s/^\.See $.*$$[,.:; ][,.:; ]*$$/\[ \1<\/cite><\/A>\] \2 / s/^\.See $.*$$/\[ \1<\/cite> <\/A>\]/ bdone } /^\.Quiz [ ]*.*[ ][ ]*.*$/{ s/^\.Quiz [ ]*$.*$[ ][ ]*$.*$/?<\/A>/ bdone } /^\.Quiz /{ s/^\.Quiz [ ]*$.*$/?<\/A>/ bdone } /^\./!s/$$[=A-Za-z\\][A-Za-z0-9_\\]*$/\1<\/em><\/A>/g /::/bdefs /^[ ]/{ s/^[ ]$.*$$/
\1/ bdone } /^\./{ s/^\.Open$.$ *$.*$$/\2<\/H\1><\/A>/ s/^\.Bibliography *$.*$$/
\1
References<\/A><\/h2>/ s/^\.Set[ ]*$/
/ s/^\.Set *$.*$$/\1
/ s/^\.Net[ ]*$/
/ s/^\.Net *$.*$$/
\1/ s/^\.Let[ ]*$/Let
/ s/^\.Let *$.*$$/Let
\1/ s/^\.Box[ ]*$/
/ s/^\.Box *$.*$$/\1
/ /^\.Table/{ s/^\.Table *$[^ ]*$/
\1/ s/ $[^ ]*$/<\/td> \1/g } /^\.Row/{ s/^\.Row *$[^ ]*$/<\/td><\/tr>
\1/ s/ $[^ ][^ ]*$/<\/td> \1/g } s/^\.Item *$.*$$/<\/td> \1/ s/^\.Source[ ]*$.*$$/\1<\/cite>/ s/^\.Address[ ]*$.*$$/
\1<\/address>/ s/^\.Image[ ]*$[^ ]*$[ ]$.*$$/ $\2$ / s/^\.$[1-6]$[ ]$.*$$/\2<\/H\1><\/A>/ bdone } :defs /::/{ s/\/\/www\//\/\/'$LOCALHOST'\// /^[ ]*$[\\A-Za-z0-9_.!@#$%^&*-+|<>=~ ]*[A-Za-z0-9_.!@#$%^&*-+|<>=~]$[ ]*::$[^=]*$=[ ]*$http:.*$$[,.]$[ ]*$/s//
\1<\/A>::\2= See \3<\/A>\4/ /^[ ]*$[\\A-Za-z0-9_.!@#$%^&*-+|<>=~ ]*[A-Za-z0-9_.!@#$%^&*-+|<>=~]$[ ]*::$[^=]*$=[ ]*$http:.*$$/s//
\1<\/A>::\2= See \3<\/A>/ /^[ ]*$[\\A-Za-z0-9_.!@#$%^&*-+|<>=~ ]*[A-Za-z0-9_.!@#$%^&*-+|<>=~]$[ ]*::$[^=]*$=$.*$$/s//
\1<\/A>::\2=\3/ /^[ ]*$[\\A-Za-z0-9_.!@#$%^&*-+|<>=~ ]*[A-Za-z0-9_.!@#$%^&*-+|<>=~]$[ ]*::[ ]*$[^=]*$$/s//
\1<\/A>::\2/ /^[ ]*$[\\A-Za-z0-9_.!@#$%^&*-+|<>=~ ]*[A-Za-z0-9_.!@#$%^&*-+|<>=~]$[ ]*$([^)]*)$[ ]*::$[^=]*$=$.*$$/s//
\1<\/A>\2::\3=\4/ /^[ ]*For $[:,\\A-Za-z0-9_.!@#$%^&*-+|<>=~ ]*$[ ]*,[ ]*$[\\A-Za-z0-9_.!@#$%^&*-+|<>=~ ]*[A-Za-z0-9_.!@#$%^&*-+|<>=~]$[ ]*$([^)]*)$[ ]*::$[^=]*$=$.*$$/s//
For \1, \2<\/A>\3::\4=\5/ /^[ ]*$[\\A-Za-z0-9_.!@#$%^&*-+|<>=~ ]*[A-Za-z0-9_.!@#$%^&*-+|<>=~]$[ ]*$([^)]*)$[ ]*::$[^=]*$$/s//
\1<\/A>\2::\3/ /^[ ]*$[\\A-Za-z0-9_.!@#$%^&*-+|<>=~ ]*[A-Za-z0-9_.!@#$%^&*-+|<>=~]$[ ]*$([^)]*)$[ ]*::$[^=]*$$/s//
\1<\/A>\2::\3/ /^[ ]*$[\\A-Za-z0-9_.!@#$%^&*-+|<>=~ ]*[A-Za-z0-9_.!@#$%^&*-+|<>=~]$[ ]*$([^)]*)$[ ]*::$[^=]*$$/s//
\1<\/A>\2::>\3/ /^
/!s/$.*$::$[^=]*$$/
\1::\2/ /^
/!s/$.*$::$[^=]*$=/
\1::\2=/ } :done ' ) echo "" echo "
"

\1/ s/ \([^ ]*\)/<\/td>	\1/g } /^\.Row/{ s/^\.Row \([^ ]\)/<\/td><\/tr>
\1/ s/ \([^ ][^ ]*\)/<\/td>	\1/g } s/^\.Item \(.\)$/<\/td>	\1/ s/^\.Source[ ]\(.\)$/\1<\/cite>/ s/^\.Address[ ]\(.\)$/ \1<\/address>/ s/^\.Image[ ]\([^ ]\)[ ]\(.\)$/ $\2$ / s/^\.\([1-6]\)[ ]\(.\)$/\2<\/H\1><\/A>/ bdone } :defs /::/{ s/\/\/www\//\/\/'$LOCALHOST'\// /^[ ]\([\\A-Za-z0-9_.!@#$%^&-+\|<>=~ ][A-Za-z0-9_.!@#$%^&-+\|<>=~]\)[ ]::\([^=]\)=[ ]\(http:.\)\([,.]\)[ ]$/s// \1<\/A>::\2= See \3<\/A>\4/ /^[ ]\([\\A-Za-z0-9_.!@#$%^&-+\|<>=~ ][A-Za-z0-9_.!@#$%^&-+\|<>=~]\)[ ]::\([^=]\)=[ ]\(http:.\)$/s// \1<\/A>::\2= See \3<\/A>/ /^[ ]\([\\A-Za-z0-9_.!@#$%^&-+\|<>=~ ][A-Za-z0-9_.!@#$%^&-+\|<>=~]\)[ ]::\([^=]\)=\(.\)$/s// \1<\/A>::\2=\3/ /^[ ]\([\\A-Za-z0-9_.!@#$%^&-+\|<>=~ ][A-Za-z0-9_.!@#$%^&-+\|<>=~]\)[ ]::[ ]\([^=]\)$/s// \1<\/A>::\2/ /^[ ]\([\\A-Za-z0-9_.!@#$%^&-+\|<>=~ ][A-Za-z0-9_.!@#$%^&-+\|<>=~]\)[ ]\(([^)])\)[ ]::\([^=]\)=\(.\)$/s// \1<\/A>\2::\3=\4/ /^[ ]For \([:,\\A-Za-z0-9_.!@#$%^&-+\|<>=~ ]\)[ ],[ ]\([\\A-Za-z0-9_.!@#$%^&-+\|<>=~ ][A-Za-z0-9_.!@#$%^&-+\|<>=~]\)[ ]\(([^)])\)[ ]::\([^=]\)=\(.\)$/s// For \1, \2<\/A>\3::\4=\5/ /^[ ]\([\\A-Za-z0-9_.!@#$%^&-+\|<>=~ ][A-Za-z0-9_.!@#$%^&-+\|<>=~]\)[ ]\(([^)])\)[ ]::\([^=]\)$/s// \1<\/A>\2::\3/ /^[ ]\([\\A-Za-z0-9_.!@#$%^&-+\|<>=~ ][A-Za-z0-9_.!@#$%^&-+\|<>=~]\)[ ]\(([^)])\)[ ]::\([^=]\)$/s// \1<\/A>\2::\3/ /^[ ]\([\\A-Za-z0-9_.!@#$%^&-+\|<>=~ ][A-Za-z0-9_.!@#$%^&-+\|<>=~]\)[ ]\(([^)])\)[ ]::\([^=]\)$/s// \1<\/A>\2::>\3/ /^ /!s/\(.\)::\([^=]\)$/ \1::\2/ /^ /!s/\(.\)::\([^=]*\)=/ \1::\2=/ } :done ' ) echo "" echo " "