Skip to content

Commit 2444176

Browse files
committed
Driver: fix command for building source
1 parent 17b20ba commit 2444176

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/driver/odoc.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -186,7 +186,7 @@ let html_generate_source ~output_dir ?(ignore_output = false) ~source
186186
empty search_uris
187187
in
188188
let cmd =
189-
!odoc % "html-generate-impl" %% file % p source %% search_uris % "-o"
189+
!odoc % "html-generate-source" %% file % p source %% search_uris % "-o"
190190
% output_dir
191191
in
192192
let desc = Printf.sprintf "Generating HTML for %s" (Fpath.to_string source) in

0 commit comments

Comments
 (0)