function dofile(&p,filename,textstring) if (p.ignore), return; end; fprintf(p.myfile,'

\n

\n');
  fprintf(p.myfile,'     %s\n',filename);
  fprintf(p.myfile,'%s\n',latin_filter(textstring));
  fprintf(p.myfile,'
\n'); fprintf(p.myfile,'

\n');