Paste #d81SHEeesrBnKJoPsFpx

1
2
3
4
5
6
7
8
* Create subdirectory for user docs too
* Drop '-docs' from contributor docs directory
* Consolidate to only one 'libs-common' directory
* Include contributor docs in the startpage
* Move language names file to 'libs-common'
* Enable translations and PDFs for contributor docs
* Enable building the contributor docs by default
* Rename 'desktop-guide' source directory to 'user-docs' -- ?