[PATCH 11/13] introduce relative_filename and use it

[Tom Tromey]

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> On 08/23/2013 09:36 PM, Tom Tromey wrote:
>> +# ROOT and FULL are file names.  Returns the relative path from ROOT
>> +# to FULL.  Note that FULL must be in a subdirectory of ROOT.

Pedro> Would it be a good idea to "error" out on mistakes here?

Good idea, I added this.

Tom