Re: [docbook] How to mark up a path?

[Tobias Reif <tobiasreif@pinkjuice.com>]

Jeff Beal wrote:

>>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.


I guess Bob knows that :)

Also, "/foo/doc/jing.html" is none of directory, headerfile, or symlink, 
so I suggested to add  "path" to the enumeration list of filename's 
class attribute (=> <filename class="path">).


Tobi

-- 
http://www.pinkjuice.com/