Porter's handbook section 12.3 mentions WRKDIREPREFIXPORTSDIR, but I can't find it anywhere. $ grep WRKDIRPREFIXPORTSDIR /usr/ports/Mk/* -> not found $ find /usr/ports -name Makefile -depth 3 | xargs grep WRKDIRPREFIXPORTSDIR -> not found Is it obsolete and has it disappeared? What's the alternative? -- `whois vmeta.jp | nkf -w` meta <meta at vmeta.jp>