Always install text documentation, even if we're not able to build the HTML