From f6ea8b0aa28cbd31f57d2e2f4b9e9837f15fa7b5 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 18 Feb 2015 16:53:28 +0100 Subject: [PATCH] small change in doc/build_deps.ml --- doc/build_deps.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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);;