matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Hack for latest odoc

This commit is contained in:
Jeremie Dimino 2017-05-29 14:28:07 +01:00
parent 65150b4166
commit 85ae1c75e4
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/odoc.ml
View File

@ -48,6 +48,8 @@ let to_html sctx (m : Module.t) odoc_file ~doc_dir ~odoc ~dir ~includes
>>>
Build.progn
[ Build.remove_tree html_dir
; Build.action (* CR-someday jdimino: this is a mkdir ... *)
(Chdir (html_dir, Progn [])) ~targets:[]
; Build.run ~context ~dir odoc ~extra_targets:[html_file]
[ A "html"
; Dyn (fun x -> x)