Homebrew: Compile as release build.
GenerateHelptags: check whether DESTDIR exists
Merge pull request #1379 from xu-cheng/GenerateHelptags_fix

GenerateHelptags: check whether DESTDIR exists
Merge pull request #1366 from fwalch/homebrew-release

Homebrew: Compile as release build.