Craig R. McClanahan at [EMAIL PROTECTED] wrote:
>>
>> Correct... And I found it also in other places: webapps, documentation and
>> so on... Should we change them?
>
> All the references to TOMCAT_HOME in Tomcat 4 docs should be changed.
'k... Will take care of it today...
>> Also, for the release notes, should we change only the LAST, or all of them?
>
> I would suggest *never* changing old release notes -- we want them to
> reflect what was actually shipped with that release. Just add an entry to
> the newest release notes doc to say that we updated the docs themselves.
Agreed... So, I'm going to change it in RELEASE_NOTES_B8.txt, leave the old
as is, (mention it in RELEASE notes, of course), then update all docs and
whops! done :)
Pier