(*
    HLins: insert http-links into HTML documents.
    See http://www.lri.fr/~treinen/hlins

    Copyright (C) 1999 Ralf Treinen <treinen@lri.fr>

    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 2 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

*)


(*********************************************************************)
(* lexer that replaces 8-bit characters for HTML special characters  *)
(*********************************************************************)


(* get the next character but ignore everything inside of
   - < and >
   - <div nohlins> and </div>
   - <title> and </title>
   - <kbd> and </kbd>
   - <code> and </code>
   - <samp> and </samp>
   where the tag name can be in any combination of upper and lower case
*)

(* tokens are either are character or a string that is to be 
   printed verbatim *)
type token =
    CHAR of char
  | VERB of string
;;

val  next_html : Lexing.lexbuf -> token ;;



