Patch: document jv-convert

[Joseph S. Myers]

On 9 Jan 2002, Tom Tromey wrote:

> +@code{jv-convert} is a utility included with @code{libgcj} which
> +converts a file from one encoding to another.  It is similar to the Unix
> +@code{iconv} utility.
> +
> +The encodings supported by @code{jv-convert} are platform-dependent.

@command{jv-convert} (in both places), @command{iconv}, rather than @code.
Apart from this the Texinfo is OK.

-- 
Joseph S. Myers
jsm28@cam.ac.uk