On 24.12.05 01:38 +0100, Stefan Frank wrote:
> for $PATCHDIR should be changed (is it used in any
> place for example scripts/patches or can it simple be renamed?)
Simply rename it, it's not used anywhere else. I told Chris, the
documentation maintainer, to simply search & replace all occurrences
of "$PATCHDIR" with "$MWPATCHDIR" in the developer's handbook.
> Btw: Happy Xmas to all here! :)
Thanks and same to you!