/* $VER: $Id: coda.yy,v 1.2 1995/03/25 15:20:06 tf Exp $ */

%{
#include <stdlib.h>
#include <string.h>
#include <stdio.h>

#ifdef yywrap
#undef yywrap
#endif
%}

%%

\n                       { printf("%s*",yytext); }
\f                       { printf("*****/\n"); }
\n\f                     { printf("\n******/\n"); }
\n[^ \f\t\n]             { printf("%s", &yytext[1]); }        /* word wrap? */
\n"TABLE OF CONTENTS"    { printf("\n******/\n%s",yytext); }  /* next file */
\n\n"TABLE OF CONTENTS"  { printf("\n******/\n%s",yytext); }  /* next file */
.                        { ECHO; }

(\n|\f)[^\n\t ]+"/"[^\n\t ]+[\t ]+[^\n\t ]+"/"[^\n\t ]+\n {
                           register char *s, *t;
                           yyless(yyleng-1);
                           if( (s= strdup(&yytext[1])) ) {
                             for(t=s; *t && *t!=' ' && *t!='\t'; t++) ;
                             *t='\0';
                             printf("\n/****** %s ******",s);
                             free(s);
                           }
                         }

<<EOF>>                  { printf("******/\n"); yyterminate(); }

%%

#ifdef yywrap
#undef yywrap
#endif

int yywrap() { return 1; }
int main()   { return yylex(); }