Re: HTML format documentation

[Richard Stallman]

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