Comment 2 for bug 935720

Revision history for this message
Arfrever Frehtes Taifersar Arahesis (arfrever-fta) wrote :

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.