GenerateHelptags: Fix checking of DESTDIR