GenerateHelptags: check whether DESTDIR exists
Merge pull request #1379 from xu-cheng/GenerateHelptags_fix

GenerateHelptags: check whether DESTDIR exists