Skip to content
Snippets Groups Projects
Commit c742837c authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[server] plugins table-of-contents

parent df9527a4
No related branches found
No related tags found
No related merge requests found
...@@ -80,6 +80,10 @@ let page chapter ~title ?(descr=[]) ?readme ~filename () = ...@@ -80,6 +80,10 @@ let page chapter ~title ?(descr=[]) ?readme ~filename () =
chapter ; title ; descr ; readme ; chapter ; title ; descr ; readme ;
sections=[] ; sections=[] ;
} in } in
begin match chapter with
| `Kernel | `Protocol -> ()
| `Plugin p -> plugins := p :: !plugins
end ;
pages := Pages.add path page !pages ; page pages := Pages.add path page !pages ; page
let static () = [] let static () = []
...@@ -239,7 +243,7 @@ let table_of_contents () = ...@@ -239,7 +243,7 @@ let table_of_contents () =
List.concat List.concat
(List.map (List.map
(fun p -> table_of_chapter (`Plugin p)) (fun p -> table_of_chapter (`Plugin p))
(List.sort String.compare !plugins)) (List.sort_uniq String.compare !plugins))
module Cmap = Map.Make module Cmap = Map.Make
(struct (struct
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment