Re: HTML format documentation

[Greg A. Woods]

[ On Thursday, August 31, 2000 at 14:50:21 (-0600), Richard Stallman wrote: ]
> Subject: Re: HTML format documentation
>
>     > Here is an idea.  Suppose that the default for sysconfdir were computed
>     > from the actual value of prefix, as follows:
>     > 
>     >     If prefix is `/usr', use `/etc'.
>     >     Otherwise, use $(prefix)/config.
> 
> I think we need to ask the community of developers what they would
> think of this change.  It sounds good, but it could have pitfalls
> we have not thought of.
> 
> Would someone like to do that?

Are all of the relevant developers subscribed to the <gnu-prog> list, or
would it be necessary to post to a more public forum?  How would one
best measure the responses?

-- 
                                                        Greg A. Woods

+1 416 218-0098      VE3TCP      <[EMAIL PROTECTED]>      <robohack!woods>
Planix, Inc. <[EMAIL PROTECTED]>; Secrets of the Weird <[EMAIL PROTECTED]>