Driver: cleanup unnecessary changes

panglesd · Aug 20, 2024 · 8f0f04e · 8f0f04e
1 parent c5f160a
commit 8f0f04e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 14 deletions.
diff --git a/src/driver/odoc_driver.ml b/src/driver/odoc_driver.ml
@@ -577,15 +577,6 @@ let run libs verbose packages_dir odoc_dir odocl_dir html_dir stats nb_workers
       (fun () -> render_stats env nb_workers)
   in
 
-  (* List.iter *)
-  (*   (fun l -> *)
-  (*     if Astring.String.is_infix ~affix:"_odoc/./index.mld" l then *)
-  (*       Format.printf "%s\n" l) *)
-  (*   !Cmd_outputs.compile_output; *)
-  (* List.iter *)
-  (*   (fun l -> *)
-  (*     if Astring.String.is_infix ~affix:"__driver" l then Format.printf "%s\n" l) *)
-  (*   !Cmd_outputs.link_output; *)
   Format.eprintf "Final stats: %a@.%!" Stats.pp_stats Stats.stats;
   Format.eprintf "Total time: %f@.%!" (Stats.total_time ());
   if stats then Stats.bench_results html_dir

diff --git a/src/html/link.ml b/src/html/link.ml
@@ -37,11 +37,7 @@ module Path = struct
 
   let as_filename ~is_flat (url : Url.Path.t) =
     let url_segs = for_linking ~is_flat url in
-    let filename =
-      match url_segs with
-      | [] -> Fpath.v "./"
-      | url_segs -> Fpath.(v @@ String.concat Fpath.dir_sep @@ url_segs)
-    in
+    let filename = Fpath.(v @@ String.concat Fpath.dir_sep @@ url_segs) in
     filename
 end