Install HTML documentation.
