No docs built, no docs to install
Merge branch 'debian'