Update documentation for Debian