Commits

Anonymous committed 68a256a

renamed footnotes to renumber.

  • Participants
  • Parent commits e2104ca

Comments (0)

Files changed (1)

   process_foots inc print_foot (output_endline outc)
 
 (* renumber the footnote references *)
-let footnotes by_footnotes =
+let renumber by_footnotes =
   if by_footnotes then renumber_by_foots else renumber_by_body
 
 (* process options and files given on command line or stdin *)
     let by_footnotes = ref false in
     let do_file f =
       let c = open_in f in
-      (try footnotes !by_footnotes c stdout with e -> close_in c; raise e);
+      (try renumber !by_footnotes c stdout with e -> close_in c; raise e);
       close_in c
     in
     Arg.parse [("-f", Arg.Set by_footnotes,