chiark / gitweb /
debian/: Fix build-dependencies for building the manual.