>>>>> "Mike" == Michael Sperber <email@example.com> writes:
>>>>> "Olin" == shivers <firstname.lastname@example.org> writes:
Olin> A related question is: should we switch over to an xml or sgml format
Olin> for the manual source?
Mike> Why? LaTeX makes for a pretty decent source language for generating
Mike> these things. I write most of my manuals with Hyperlatex --- it's
Mike> fairly simple, and it works. Lately, Dorai Sitaram's tex2page and
Mike> maybe Hevea seem to have become options as well.
I found a student I could hire to do the conversion. She wants to
start 04/01 so I think we should seize the opportunity. I would prefer
to stay at something latex based, but I didn't ever use any of the tools
What do the others think?