The Debian packaging tasks should ensure that the documentation is compiled before creating tarballs.
Update packaging guide.