[m-dev.] Markup in User's guide

[Julien Fischer]

Hi,

When marking up the names of programs or scripts (e.g. mmc, mgnuc
etc.) in the user's guide, we seem to use an inconsistent mixture of
@samp and @code. Both format their contents using a fixed-width font,
but the former adds single quotes, while the latter does not.

I think we should settle on one or the other; my preference would be
for @command
(which is equivalent to @code).

-- 
Julien Fischer | Opturion Pty Ltd
Web: http://www.opturion.com