On Wednesday 20 November 2002 16:20, Andy Lewis wrote: >. . . > intersting...hm....what would go in the developer man page that wouldn't > fit in the javadocs? >. . .
Actually I don't know. We'll have to start with user manpages anyway, and it's no problem leaving the option open should we need it later. -Bertrand
