GenerateHelptags: Fix checking of DESTDIR

This should fix #1368