Searched refs:do_document_command (Results 1 – 2 of 2) sorted by relevance
54 static void do_document_command (const char *comname, int from_tty,676 do_document_command (cmd->line, 0, &cmd->body_list_0); in execute_control_command_1()1511 do_document_command (const char *comname, int from_tty, in do_document_command() function1580 do_document_command (comname, from_tty, nullptr); in document_command()
363 * cli/cli-script.c (do_document_command): Rename from369 (document_command): Call do_document_command.