1 #ifndef lint 2 static char sccsid[] = "@(#)label.c 4.1 (Berkeley) 11/10/83"; 3 #endif 4 5 #include "gigi.h" 6 7 label(s) 8 char *s; 9 { 10 printf("T(S0 H2 D0 I0) \""); 11 for(;*s!='\0';s++) { 12 putchar(*s); 13 if (*s == '"') putchar('"'); 14 } 15 putchar('"'); 16 } 17