Make documentation installation insensitive to the existence or non-existence of documentation files.