diff --git a/doc/build_deps.ml b/doc/build_deps.ml index 5386c641..37633b20 100755 --- a/doc/build_deps.ml +++ b/doc/build_deps.ml @@ -18,9 +18,12 @@ let odoc_files = |> Gen.to_list ;; +let out = "deps.dot";; + let cmd = - "ocamldoc -dot -o deps.dot " ^ String.concat " " odoc_files + "ocamldoc -dot -o " ^ out ^ " " ^ String.concat " " odoc_files ;; print_endline ("run: " ^ cmd);; Unix.system cmd;; +print_endline ("output in " ^ out);;