119 static void cattext (string_type *, char *);
237 cattext (buffer, string)  in cattext()  function
426   cattext (tos, *((char **) pc));  in push_text()
473 		  cattext (dst, "\nENDDD\n");
552       cattext (&out, "\n");	/* Insert a newline between type and fnname */  in paramstuff()
564       cattext (&out, " PARAMS (");  in paramstuff()
569       cattext (&out, ");\n\n");  in paramstuff()
590 	  cattext (&out, "/*");  in translatecomments()
595 	  cattext (&out, "*/");  in translatecomments()
631 		  cattext (&out, "/*");  in outputdots()
636 		  cattext (&out, "*/");  in outputdots()
675 	  cattext (&out, "\n@example\n");  in courierize()
705 		      cattext (&out, "/*");  in courierize()
711 		      cattext (&out, "*/");  in courierize()
730 	  cattext (&out, "@end example");  in courierize()
760 	  cattext (&out, "*");  in bulletize()
769 	      cattext (&out, "\n@itemize @bullet\n");  in bulletize()
773 	  cattext (&out, "\n@item\n");  in bulletize()
783 	      cattext (&out, "@end itemize");  in bulletize()
792       cattext (&out, "@end itemize\n");  in bulletize()
816 	  cattext (&out, "@code{");  in do_fancy_stuff()
824 	  cattext (&out, "}");  in do_fancy_stuff()
1012 	  cattext (&out, "\n");  in indent()
1016 	      cattext (&out, "    ");  in indent()
1023 	    cattext (&out, "   ");  in indent()
1025 	  cattext (&out, "(");  in indent()
1030 	  cattext (&out, ")");  in indent()