Bug#569293: jetty should not depend on libjetty-java-doc

[Thomas Koch]

Package: jetty
Version: 6.1.22-1
Severity: normal

Is there any reason, why jetty hard depends on libjetty-java-doc? The
doc package has ~13 MB and I should not need to install it on my server.

-- System Information:
Debian Release: squeeze/sid
  APT prefers stable
  APT policy: (1000, 'stable'), (990, 'unstable'), (700, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.31-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages jetty depends on:
ii  adduser             3.112                add and remove users and groups
ii  apache2-utils       2.2.14-6             utility programs for webservers
ii  jsvc                1.0.2~svn20061127-10 wrapper to launch Java application
ii  libjetty-java       6.1.22-1             Java servlet engine and webserver 
ii  libjetty-java-doc   6.1.22-1             Javadoc for the Jetty API

jetty recommends no packages.

Versions of packages jetty suggests:
pn  libjetty-extra                <none>     (no description available)
pn  libjetty-extra-java           <none>     (no description available)

-- no debconf information