2012/4/8 VDR User <user.vdr@gmail.com>

I know several people who set their directories on the command line
and ignore maintaining Make.config completely so it's not true
everyone uses Make.config.

OK, that could be possible, although I don't understand why.

Let's wait what Klaus says.