/* html2txt3.l
   flex file for converting html to txt (sort of...)
   Daniel Scharstein 2/18/08
   3rd version - added comments and "pre" tags
*/

ws       [ \t\n]|" "
tag      "<"[^>]*">" 
nltag    "<""/"?"h"[1-6]">"|"<p>"|"<br>"|"<tr>"|"</html>"
noTwoDashes [^-]*("-"[^-]+)*
comment  "<!--"{noTwoDashes}"-->"

%s PRE
%%
  int ol = 0;

"<ol>"    { ol = 1; }
"</ol>"   { ol = 0; }
"<li>"    { if (ol > 0) printf("\n %d. ", ol++); else printf("\n * "); }
"<pre>"   { BEGIN(PRE); }
"</pre>"  { BEGIN(INITIAL); }
{comment} {}
{nltag}   {printf("\n");}
{tag}     {}
<INITIAL>{ws}+     {printf(" ");}
"&gt;"    {printf(">");}
"&lt;"    {printf("<");}
"&amp;"   {printf("&");}