[RFC] GenerateHelptags: check whether DESTDIR exists

Possible fix for #1368