> > There is a difference between a file path and a file name which is
> > significant in some cases, in which I'd like to express
> that difference
> > via markup. (note: I don't say that this would be your requirement)
> >
> > I think I might be happy with an element named path, but
> I'm not sure.
>
> How about an attribute on filename named 'path'?
>
> <filename path="/foo/doc/jing.html"/>
>
There is already the class attribute on the filename element, where class
can be any of directory, headerfile, or symlink.
Jeff
