docs/grub-dev: Change comments rules
commitfa20550f168dd637ad413d48967fb18622b9a3c1
authorDaniel Kiper <daniel.kiper@oracle.com>
Fri, 29 Mar 2019 15:11:04 +0000 (29 16:11 +0100)
committerDaniel Kiper <daniel.kiper@oracle.com>
Tue, 2 Apr 2019 11:13:46 +0000 (2 13:13 +0200)
treee555fed06c59777696e349bc57aba180b8973ae8
parente683cfb0cf59fd2dcaa3bb61b3c8ec5e1a09cd37
docs/grub-dev: Change comments rules

Current comments forms are annoying, so, some of them are disallowed
starting from now. New rules are more flexible and mostly aligned
with, e.g., Linux kernel comments rules.

Signed-off-by: Daniel Kiper <daniel.kiper@oracle.com>
Reviewed-by: Vladimir Serbinenko <phcoder@google.com>
docs/grub-dev.texi