> Works for me. BTW, Marc's taking care of the wget for the Chinese
> docs, I sent him the dir earlier however I'm having second thoughts
> as to the location since I told him to put them in .../docs/chinese
> which is in the developer's section.
That might be OK, since we can snapshot them over to a "release"
directory when Henry says he has a newly sync'd version available.
Then the developer's area will have Henry's latest-and-greatest,
independent of version.
- Thomas
--
Thomas Lockhart lockhart@alumni.caltech.edu
South Pasadena, California
