Commits

Anonymous committed ec46c96

extended comments.

Comments (0)

Files changed (1)

 
 exception End_of_body;;
 
-(* footnotes: read from channel c and print with renumbered footnotes *)
+(* footnotes: read from channel inc and print with renumbered references
+ *            and reordered footnotes to channel outc *)
 let footnotes inc outc =
   let refs = Hashtbl.create 1000000 in
   let sub_ref l ref =
 	  | Some l -> output_endline outc l in
 	Array.iteri print_foot foots;;
 
+(* main: call footnotes either with given files or with stdin *)
 let main () =
   if Array.length Sys.argv > 1 then
     let do_file f =