/bin/rm -f onlinehelp.tex
echo "%%% DO NOT EDIT THIS FILE. GENERATED BY Doc/printOnlineHelp" >onlinehelp.tex
echo "%%% DO NOT EDIT THIS FILE. GENERATED BY Doc/printOnlineHelp" >>onlinehelp.tex

../Kan/sm1 -q -s "[(parse) (printhelp.sm1) pushfile] extension printOnlineHelp quit" >>onlinehelp.tex
