277         execute_string ("%s", defun_arg);  in process_defun_args()
493         execute_string (" --- %s: %s", category, defined_name);  in defun_internal()
497         execute_string (" --- %s: %s %s", category, type_name, defined_name);  in defun_internal()
500         execute_string (" --- %s %s %s: %s", category, _("of"), type_name,  in defun_internal()
505         execute_string (" --- %s %s %s: %s %s", category, _("of"), type_name,  in defun_internal()
509         execute_string (" --- %s %s %s: %s", category, _("on"), type_name,  in defun_internal()
513         execute_string (" --- %s %s %s: %s %s", category, _("on"), type_name,  in defun_internal()
517         execute_string (" --- %s %s %s: %s %s", category, _("on"), type_name,  in defun_internal()
539           execute_string ("--- %s: ", category);  in defun_internal()
545 	  execute_string ("--- %s %s %s: ", category, _("of"), type_name);  in defun_internal()
551 	  execute_string ("--- %s %s %s: ", category, _("on"), type_name);  in defun_internal()
562           execute_string ("%s", defined_name);  in defun_internal()
568           execute_string ("%s ", type_name);  in defun_internal()
570           execute_string ("%s", defined_name);  in defun_internal()
577           execute_string ("%s", defined_name);  in defun_internal()
585           execute_string ("%s ", type_name2);  in defun_internal()
587           execute_string ("%s", defined_name);  in defun_internal()
635 	execute_string ("@findex %s\n", defined_name);  in defun_internal()
641 	execute_string ("@vindex %s\n", defined_name);  in defun_internal()
644 	execute_string ("@vindex %s %s %s\n", defined_name, _("of"),  in defun_internal()
650 	execute_string ("@findex %s %s %s\n", defined_name, _("on"),  in defun_internal()
654 	execute_string ("@tindex %s\n", defined_name);  in defun_internal()