From joe at gilith.com  Tue Oct 19 18:18:16 2010
From: joe at gilith.com (Joe Hurd)
Date: Tue, 19 Oct 2010 11:18:16 -0700
Subject: [metis-users] Bugfix: Include paths
Message-ID: <AANLkTikW-yDfAyiAw9ov97+VVZTLnyES=S=r9PxTXUdf@mail.gmail.com>

Geoff Sutcliffe recently reported a bug in Metis include paths:

> Seems that Metis does not handle includes with absolute path names
> correctly ... it adds the value of $TPTP on the front. If an include
> is for an absolute file names (starting with /) then it should look
> directly for that file, and nothing else.

This is now fixed in the latest version: Metis 2.3 (release 20101019),
available from

http://www.gilith.com/software/metis/

Bug reports are always welcome: thanks to Geoff for helping to improve Metis.

Cheers,

Joe