On 13 Apr 2000, Jean-Marc Lasgouttes wrote:
> >>>>> "Amir" == Amir Karger <[EMAIL PROTECTED]> writes:
>
> Amir> Speaking of which, which version of the master TOC is going to
> Amir> be included in the 1.1.5 prerelease? Guess which one I'll vote
> Amir> for? :)
>
> I took a look at both, and indeed yours is better IMO. So, unless Mike
> disagrees or a merge of both can be obtained, you should probably
> check it in, along with the script.
Infidels! :-) Actually, just remember that my version was to stimulate
action to do a better one. I certainly don't want to edit it by hand
every time there is a minor doc change. I haven't had a chance to look at
Amir's version since I just got back from Palomar Observatory 10 minutes
ago, but if his version is agreeable, that is fine with me.
Mike
[EMAIL PROTECTED]
