Fix HTML documentation installation for VPATH builds
Don't try to install the HTML documentation if we don't have it