-/* The "maintenance info" command is defined as a prefix, with
- allow_unknown 0. Therefore, its own definition is called only for
- "maintenance info" with no args. */
-
-static void
-maintenance_info_command (const char *arg, int from_tty)
-{
- printf_unfiltered (_("\"maintenance info\" must be followed "
- "by the name of an info command.\n"));
- help_list (maintenanceinfolist, "maintenance info ", all_commands,
- gdb_stdout);
-}
-
-/* The "maintenance check" command is defined as a prefix, with
- allow_unknown 0. Therefore, its own definition is called only for
- "maintenance check" with no args. */
-
-static void
-maintenance_check_command (const char *arg, int from_tty)
-{
- printf_unfiltered (_("\"maintenance check\" must be followed "
- "by the name of a check command.\n"));
- help_list (maintenancechecklist, "maintenance check ", all_commands,
- gdb_stdout);
-}
-