Commits

Anonymous committed 909dc41

improved some comments.

Comments (0)

Files changed (1)

 exception End_of_body;;
 
 (* read the body from inc, substitute the references from table refs *)
-(* if ref is not in refs, evaluate unknown_ref, print to outc *)
+(* if ref is not in refs, evaluate unknown_ref; print to outc *)
 let process_body inc outc refs unknown_ref =
   let sub_ref l _ =
     let old_n = int_of_string (Str.matched_group 1 l) in
   in
   Array.iteri print_foot foots;;
 
-(* renumber the footnote reference by the original footnote order *)
+(* renumber the footnote references by the original footnote order *)
 let renumber_by_foots inc outc =
   while input_line inc <> sep_line do () done;
   let refs = Hashtbl.create 1000000 in
 let footnotes by_footnotes =
   if by_footnotes then renumber_by_foots else renumber_by_body;;
 
-(* call footnotes either with given files or with stdin *)
+(* process options and files given on command line or stdin *)
 let main () =
   if Array.length Sys.argv > 1 then
     let by_footnotes = ref false in
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.