Bug#515935: change section to .../doc

[Michael Koch]

Version: 1.0.1-3


On Wed, Feb 18, 2009 at 01:06:04PM +0100, Christoph Anton Mitterer wrote:
> Package: libjmock-java-doc
> Severity: wishlist
> 
> As this package contains documentation, shouldn't it be moved to the  
> doc section?

Thanks for taking the time to write this bug report. This bug was fixed
some time ago but not properly closed. Doing so now.


Cheers.
Michael