Re: make info warnings

["Eli Zaretskii" <eliz@is.elta.co.il>]

> From: Andreas Schwab <schwab@suse.de>
> Date: Wed, 15 Jan 2003 16:58:58 +0100
> 
> Elena Zannoni <ezannoni@redhat.com> writes:
> 
> |> these are the lines that generate the warnings.
> |> 
> |> @item htrace record @var{[data]*}
> |> @item htrace rewind @var{[filename]}
> |> @item htrace print @var{[start [len]]}
> 
> IMHO this should be written like this:
> 
> @item htrace record [@var{data}]*
> @item htrace rewind [@var{filename}]
> @item htrace print [@var{start} [@var{len}]]

Yes, that's the right fix.  It makes the printed version look better,
too.