mirror of
https://github.com/c-cube/ocaml-containers.git
synced 2025-12-16 07:46:04 -05:00
Merge ca5dd2f7d1 into b84141c5f1
This commit is contained in:
commit
5b3fffb2da
1 changed files with 3 additions and 2 deletions
|
|
@ -1,7 +1,7 @@
|
||||||
(* OASIS_START *)
|
(* OASIS_START *)
|
||||||
(* OASIS_STOP *)
|
(* OASIS_STOP *)
|
||||||
|
|
||||||
let doc_intro = "doc/intro.txt"
|
let doc_intro = "doc/intro.txt";;
|
||||||
|
|
||||||
open Ocamlbuild_plugin;;
|
open Ocamlbuild_plugin;;
|
||||||
|
|
||||||
|
|
@ -45,9 +45,10 @@ dispatch
|
||||||
flag ["cppo"] & S[A"-D"; A ocaml_major; A"-D"; A ocaml_minor] ;
|
flag ["cppo"] & S[A"-D"; A ocaml_major; A"-D"; A ocaml_minor] ;
|
||||||
|
|
||||||
(* Documentation index *)
|
(* Documentation index *)
|
||||||
|
let open Ocamlbuild_plugin in
|
||||||
dep ["ocaml"; "doc"; "extension:html"] & [doc_intro] ;
|
dep ["ocaml"; "doc"; "extension:html"] & [doc_intro] ;
|
||||||
flag ["ocaml"; "doc"; "extension:html"] &
|
flag ["ocaml"; "doc"; "extension:html"] &
|
||||||
(S[A"-t"; A"LILiS user guide";
|
(S[A"-t"; A"Containers user guide";
|
||||||
A"-intro"; P doc_intro;
|
A"-intro"; P doc_intro;
|
||||||
]);
|
]);
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue