anchor.diff:  %%% End of the file
   footer() ->
       "".
  +
  +%%%-----------------------------------------------------------------
  +%%% Read encoding from source file
  +encoding(File) ->
  +    Encoding =
  +       case epp:read_encoding(File) of
  +           none ->
  +               epp:default_encoding();
  +           E ->
  +               E
  +       end,
  +    html_encoding(Encoding).
  +
  +html_encoding(latin1) ->
  +    "iso-8859-1";
  +html_encoding(utf8) ->
  +    "utf-8".
  
positive.code: 		    case file:open(Dest,[write,raw]) of
  			{ok,DFd} ->
  			    file:write(DFd,[Header,"<pre>\n"]),
  			    Lines = build_html(SFd,DFd,Functions),
  			    file:write(DFd,["</pre>\n",footer(),
  					    "</body>\n</html>\n"]),
  			    %% {_, Time2} = statistics(runtime),
  			    %% io:format("Converted ~p lines in ~.2f Seconds.~n",
  			    %% 	      [Lines, Time2/1000]),
  			    file:close(SFd),
  			    file:close(DFd),
  			    ok;
  
negative.code:     %%
      %% FIXME: The colours should *really* be set with
      %% stylesheets...
      Encoding = encoding(File),
      Header = ["<!DOCTYPE HTML PUBLIC "
  	      "\"-//W3C//DTD HTML 3.2 Final//EN\">\n"
  	      "<!-- autogenerated by '"++atom_to_list(?MODULE)++"'. -->\n"
  	      "<html>\n"
                "<head>\n"
                "<meta http-equiv=\"Content-Type\" content=\"text/html;"
                   "charset=",
                Encoding,"\"/>\n"
                "<title>", File, "</title>\n"
                "</head>\n\n"
  	      "<body bgcolor=\"white\" text=\"black\""
  	      " link=\"blue\" vlink=\"purple\" alink=\"red\">\n"],
      convert(File, Dest, Header).
  