On Tue, Nov 19, 2002 at 02:32:19PM +0100, Philippe Batailler wrote:
> - They should be compressed with <tt>gzip -9</tt>.</p>
> + They should be compressed with <prgn>gzip</prgn><tt>-9</tt>.</p>
I disagree this is in any way a "typo fix". The right replacement tag in
HTML would be <kbd>; what you did there was remove a perfectly legal space,
and split the group into two pieces for no reason.
--
2. That which causes joy or happiness.