[Xotcl] xotcl 0.85 p1

From: Gustaf Neumann <neumann_at_wu-wien.ac.at>
Date: Mon, 11 Jun 2001 17:03:55 +0200

 Dear XOtcl community,

 there was a small glitch in 0.85p1. The modification date
 of predefined.xotcl was newer than the date of predefined.h
 due to a checkin in the version management system. Therefore
 "make" tried to rebuild predefined.h using the xotclsh from
 xotcl in the source tree. If the tar archive is freshly
 expanded, there is no xotclsh, therefor make stopped with
 an error message.

 The simplest correction would have been "toch src/predefined.h".

 I have fixed the tarfile of 0.85p1 on friday such it contains
 reasonable modification times...

 sorry for the unconvenience
-gustaf