99 |
grub_help_init (void) |
grub_help_init (void) |
100 |
{ |
{ |
101 |
grub_register_command ("help", grub_cmd_help, GRUB_COMMAND_FLAG_CMDLINE, |
grub_register_command ("help", grub_cmd_help, GRUB_COMMAND_FLAG_CMDLINE, |
102 |
"help [PATTERN ...]", "Shows a help message", 0); |
"help [PATTERN ...]", "Show a help message.", 0); |
103 |
} |
} |
104 |
|
|
105 |
void |
void |
112 |
{ |
{ |
113 |
(void)mod; /* To stop warning. */ |
(void)mod; /* To stop warning. */ |
114 |
grub_register_command ("help", grub_cmd_help, GRUB_COMMAND_FLAG_CMDLINE, |
grub_register_command ("help", grub_cmd_help, GRUB_COMMAND_FLAG_CMDLINE, |
115 |
"help [PATTERN ...]", "Shows a help message", 0); |
"help [PATTERN ...]", "Show a help message.", 0); |
116 |
} |
} |
117 |
|
|
118 |
GRUB_MOD_FINI |
GRUB_MOD_FINI |