[RFC] GenrateHelptags: check whether DESTDIR exists

Possible fix for #1368