>>>>> "Lars" == Lars Gullik Bj�nnes <[EMAIL PROTECTED]> writes:

Lars> but then we need to always store the full name as well...

At the time when we generate the \input{}, we generate the inputed
file too, so we know the full name...

JMarc

Reply via email to