Re: HTML format documentation

[Peter Eisentraut]

Richard Stallman writes:

>     If prefix is `/usr', use `/etc'.
>     Otherwise, use $(prefix)/config.

I hope not. Hard-coded exceptions are the path to insanity. :)

So prefix=/usr leads to syconfidir=/etc, but prefix=/usr/gnu (not my
idea) leads to sysconfdir=/usr/gnu/config? Ugh.

Or perhaps the "Linux" folks will start arguing that prefix=/usr should
imply localstatedir=/var.

Or maybe prefix=/usr should imply prefix=/?

The nice thing about the GNU file system is that it has no exceptions.

-- 
Peter Eisentraut                  Sernanders väg 10:115
[EMAIL PROTECTED]                   75262 Uppsala
http://yi.org/peter-e/            Sweden