From: Pavel Roskin <[EMAIL PROTECTED]>
Subject: Doc change - cat instead of dd
Date: Tue, 4 May 1999 14:57:37 +0400 (EEST)
> Another issue is, that "@command", which is now used in docs/grub.texi,
> works only with very last (non-released) texinfo. Please consider whether
> it is worth the trouble. If it is, please consider using "@command"
> uniformely.
I think this is not a problem since the user will not make the info
by himself usually. Info is distributed with the package according to
GNU Coding Standards.
----------------------------------------------------------------------
OKUJI Yoshinori <[EMAIL PROTECTED]> ^o-o^
http://duff.kuicr.kyoto-u.ac.jp/~okuji (in English) m /
