> "starmarks". We have a copy of that so I've committed it to obsolete
> (along with another document, SSN/23).
By coincidence this was the first document I edited this morning in
docs/ssn. Your one has a stardocdate two years' older than that one but
doesn't have the LaTeX2HTML upgrade.
It looks like it's just the obsolete tree remaining that have rawtexs.
Malcolm
|