make sure docs are actually installed