No sphinxdoc
Merge branch 'debian'