Re: HTML format documentation

[Richard Stallman]

    I dislike the idea of this kind of hard coding. I'd much rather use
    ./configure --prefix=/usr --sysconfdir=/etc

I think this makes it hard to get an option that more and more users want.