Sources of documentation shouldn't be installed. Building of documentation requires Sphinx. Building of documentation should occur only after user has explicitly requested it (e.g. using `make html`). Different operating systems / distributions have different policies about where HTML documentation should be installed.
Sources of documentation shouldn't be installed. Building of documentation requires Sphinx. Building of documentation should occur only after user has explicitly requested it (e.g. using `make html`). Different operating systems / distributions have different policies about where HTML documentation should be installed.