Thanks Robin, for the quick fix. I just committed the patch. Paul, Keith, please update and let us know if the problem persists.
On Jan 10, 2008, at 1:32 PM, Robin Houston wrote:
On 10/01/2008, Robin Houston robin.houston@gmail.com wrote:
I'll see if I can improve check_open to allow this kind of check.
The attached patch updates the check_open tool so that documents can be specified by (absolute) path.
Robin <check_open_3.patch>
Haris Skiadas Department of Mathematics and Computer Science Hanover College