Re: HTML format documentation

[Richard Stallman]

    It's a common complaint that people can

        ./configure
        make prefix=/foo
        make install prefix=/foo

Why would anyone complain about this?  Please explain
what you think is a problem.

    People should *not* be allowed to do this (i.e., it should fail),
    decisions should be made at configure, not make, so

That seems like a drastic change, and probably incompatible.
I cannot say yes to it.