Searched refs:document_command (Results 1 – 3 of 3) sorted by relevance
30 extern void document_command (char *, int);
1096 add_com ("document", class_support, document_command, in init_cli_cmds()
1176 document_command (char *comname, int from_tty) in document_command() function