[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Re: [docbook] How to mark up a path?
On Mon, Jul 28, 2003 at 10:44:37AM +0200, Tobias Reif wrote: > Jirka Kosek wrote: > > Tobias Reif wrote: > > > >> None of the following seems appropriate: > >> > >> <filename>doc/jing.html</filename> > > > > This seems perfectly reasonable for me. > > Yes, but not to me :) > It doesn't make sense to argue about that if the goal is to reach > consesus since our requirements seem to be different. > > To elaborate on why I'm not really happy with the above > (again, it's cool if you're happy with it, but that's not the point): > > file name: > jing.html > .. marked up as file name: > <filename>jing.html</filename> > > relative directory path: > doc/ > absolute directory path: > /foo/ > relative file paths: > doc/jing.html jing.html > absolute file path: > /foo/doc/jing.html > > ("jing.html" can be a file name or a file path) > > 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"/> -- Bob Stayton 400 Encinal Street Publications Architect Santa Cruz, CA 95060 Technical Publications voice: (831) 427-7796 The SCO Group fax: (831) 429-1887 email: bobs@sco.com
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]