Updated Debian documentation.