279         execute_string ("%s", defun_arg);  in process_defun_args()
495         execute_string (" --- %s: %s", category, defined_name);  in defun_internal()
499         execute_string (" --- %s: %s %s", category, type_name, defined_name);  in defun_internal()
502         execute_string (" --- %s %s %s: %s", category, _("of"), type_name,  in defun_internal()
507         execute_string (" --- %s %s %s: %s %s", category, _("of"), type_name,  in defun_internal()
511         execute_string (" --- %s %s %s: %s", category, _("on"), type_name,  in defun_internal()
515         execute_string (" --- %s %s %s: %s %s", category, _("on"), type_name,  in defun_internal()
519         execute_string (" --- %s %s %s: %s %s", category, _("on"), type_name,  in defun_internal()
541           execute_string ("--- %s: ", category);  in defun_internal()
547 	  execute_string ("--- %s %s %s: ", category, _("of"), type_name);  in defun_internal()
553 	  execute_string ("--- %s %s %s: ", category, _("on"), type_name);  in defun_internal()
564           execute_string ("%s", defined_name);  in defun_internal()
570           execute_string ("%s ", type_name);  in defun_internal()
572           execute_string ("%s", defined_name);  in defun_internal()
579           execute_string ("%s", defined_name);  in defun_internal()
587           execute_string ("%s ", type_name2);  in defun_internal()
589           execute_string ("%s", defined_name);  in defun_internal()
637 	execute_string ("@findex %s\n", defined_name);  in defun_internal()
643 	execute_string ("@vindex %s\n", defined_name);  in defun_internal()
646 	execute_string ("@vindex %s %s %s\n", defined_name, _("of"),  in defun_internal()
652 	execute_string ("@findex %s %s %s\n", defined_name, _("on"),  in defun_internal()
656 	execute_string ("@tindex %s\n", defined_name);  in defun_internal()