<div dir="ltr"><div dir="ltr"><br></div><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Fri, 20 Dec 2024 at 01:41, Zoltan Somogyi <<a href="mailto:zoltan.somogyi@runbox.com">zoltan.somogyi@runbox.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
On Thu, 19 Dec 2024 23:47:27 +1100, Julien Fischer <<a href="mailto:jfischer@opturion.com" target="_blank">jfischer@opturion.com</a>> wrote:<br>
> On Tue, 17 Dec 2024 at 14:33, Zoltan Somogyi <<a href="mailto:zoltan.somogyi@runbox.com" target="_blank">zoltan.somogyi@runbox.com</a>> wrote:<br><br>
> > +@c @c<br>
> > +@c @c XXX Once there is agreement on the structure of this entry, it will be<br>
> > +@c @c duplicated, mutatis mutandis, for the other three groups of PROPOSED<br>
> > +@c @c search dir options.<br>
> > +@c @sp 1<br>
> > +@c @item --normal-dirs-same @var{workspacedir}<br>
> > +@c @itemx --normal-dirs-indep @var{workspacedir}<br>
> <br>
> I think these two should include "workspace" in their names.<br>
> Yes, it's longer but it is also clearer.<br>
<br>
Ok, I will provide at least these spellings of that last option:<br>
<br>
--interface-dir-indep-ws<br>
--interface-dir-independent-workspace<br>
<br>
which abbreviate both components or spell out both components in full.<br>
<br>
Should I also add the mixed abbrev/full versions below?<br>
<br>
--interface-dir-indep-workspace<br>
--interface-dir-independent-ws<br>
<br>
My vote would be "no".<br></blockquote><div><br></div><div>No.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Should the order of the last two components be indep/ws or ws/indep?<br>
I prefer the former, though only slightly.<br></blockquote><div><br></div><div>I don't have a preference.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
> > +@c @cindex Directories<br>
> > +@c @cindex Search path<br>
> > +@c Append either the named workspace directory,<br>
> > +@c or the named library install directory,<br>
> > +@c to one of three separate lists of directories to be searched<br>
> > +@c for @samp{.int*} and @samp{.module_dep} files.<br>
> > +@c Any workspace directory<br>
> > +@c named in a @var{--normal-dirs-same} option<br>
<br>
Should this fully-spelt-out name of the option be followed here by<br>
"(synonyms: <list them here>)"?<br></blockquote><div><br></div><div>The synonyms should be listed above anyway, so I don't think you need</div><div>to repeat them inline.</div><div><br></div><div>Julien.</div></div></div>