GenerateHelptags: check whether DESTDIR exists