let print_encoded_ln html =
  let replace c =
    match c with
        '>' -> print_string ">"
      | '<' -> print_string "&lt;"
      | '"' -> print_string "&quot;"
      | '\'' -> print_string "&#39;"
      | '&' -> print_string "&amp;"
      | '\\' -> print_string "&#92;"
      | _   -> print_string (Char.escaped c) in
  String.iter replace html ; print_string "\n"

let print_title article =
  let f = "/home/www/journal/articles/" ^ article ^ ".html" in
  let ic = open_in f in
  let _ = (input_line ic) in
  let ln = (input_line ic) in
  print_string ln

let print_article article =
  let f = "/home/www/journal/articles/" ^ article ^ ".html" in
  let ic = open_in f in
  let rec html_loop ic =
    try
      let ln = (input_line ic) in
      match ln with
          "<code>"  -> print_string "<pre>\n" ; pre_loop ic
        | _         -> print_string (ln ^ "\n") ; html_loop ic
    with
       End_of_file -> close_in_noerr ic
  and pre_loop ic =
    try
      let ln = (input_line ic) in
      match ln with
        "</code>" -> print_string "</pre>\n" ; html_loop ic
      | _        -> print_encoded_ln ln ; pre_loop ic
    with
       End_of_file -> close_in_noerr ic in
  html_loop ic