diff --git a/src/html/config.ml b/src/html/config.ml index e015bc4f25..b15fa26bea 100644 --- a/src/html/config.ml +++ b/src/html/config.ml @@ -10,11 +10,10 @@ type t = { flat : bool; open_details : bool; as_json : bool; - search_files : string list; (* names of JS files to include in the webworker *) } let v ?(search_result = false) ?theme_uri ?support_uri ~semantic_uris ~indent - ~flat ~open_details ~as_json ~search_files () = + ~flat ~open_details ~as_json () = { semantic_uris; indent; @@ -24,7 +23,6 @@ let v ?(search_result = false) ?theme_uri ?support_uri ~semantic_uris ~indent support_uri; as_json; search_result; - search_files; } let theme_uri config = @@ -44,5 +42,3 @@ let open_details config = config.open_details let as_json config = config.as_json let search_result config = config.search_result - -let search_files config = config.search_files diff --git a/src/html/config.mli b/src/html/config.mli index d9f0710e1e..74f2168a02 100644 --- a/src/html/config.mli +++ b/src/html/config.mli @@ -11,7 +11,6 @@ val v : flat:bool -> open_details:bool -> as_json:bool -> - search_files:string list -> unit -> t @@ -30,5 +29,3 @@ val open_details : t -> bool val as_json : t -> bool val search_result : t -> bool - -val search_files : t -> string list diff --git a/src/odoc/bin/main.ml b/src/odoc/bin/main.ml index 3b470f590c..015239ddf5 100644 --- a/src/odoc/bin/main.ml +++ b/src/odoc/bin/main.ml @@ -744,13 +744,6 @@ module Odoc_html_args = struct in Arg.(value & flag & info ~doc [ "as-json" ]) - let search_files = - let doc = - "The name of a javascript file to use for search. Will be run in a \ - webworker. Using this option adds a search-bar in the generated html." - in - Arg.(value & opt_all string [] & info ~doc [ "search-file" ]) - let source_file = let doc = "Source code for the compilation unit. It must have been compiled with \ @@ -771,17 +764,17 @@ module Odoc_html_args = struct let extra_args = let config semantic_uris closed_details indent theme_uri support_uri flat - as_json source_file assets search_files = + as_json source_file assets = let open_details = not closed_details in let html_config = Odoc_html.Config.v ~theme_uri ~support_uri ~semantic_uris ~indent ~flat - ~open_details ~as_json ~search_files () + ~open_details ~as_json () in { Html_page.html_config; source_file; assets } in Term.( const config $ semantic_uris $ closed_details $ indent $ theme_uri - $ support_uri $ flat $ as_json $ source_file $ assets $ search_files) + $ support_uri $ flat $ as_json $ source_file $ assets) end module Odoc_html = Make_renderer (Odoc_html_args) diff --git a/src/odoc/html_fragment.ml b/src/odoc/html_fragment.ml index 82cc427e4d..cff1441b54 100644 --- a/src/odoc/html_fragment.ml +++ b/src/odoc/html_fragment.ml @@ -26,7 +26,7 @@ let from_mld ~xref_base_uri ~resolver ~output ~warnings_options input = let page = Odoc_document.Comment.to_ir resolved.content in let config = Odoc_html.Config.v ~semantic_uris:false ~indent:false ~flat:false - ~open_details:false ~as_json:false ~search_files:[] () + ~open_details:false ~as_json:false () in let html = Odoc_html.Generator.doc ~config ~xref_base_uri page in let oc = open_out (Fs.File.to_string output) in diff --git a/src/search/generator.ml b/src/search/generator.ml index ca8d494678..e54db430db 100644 --- a/src/search/generator.ml +++ b/src/search/generator.ml @@ -163,7 +163,7 @@ let html_of_entry (entry : Odoc_model.Fold.item) = let html_of_doc doc = let config = Odoc_html.Config.v ~search_result:true ~semantic_uris:false ~indent:false - ~flat:false ~open_details:false ~as_json:false ~search_files:[] () + ~flat:false ~open_details:false ~as_json:false () in Tyxml.Html.div ~a:[] @@ Odoc_html.Generator.doc ~config ~xref_base_uri:"" diff --git a/src/search/render.ml b/src/search/render.ml index 1844c192d0..1f8203499b 100644 --- a/src/search/render.ml +++ b/src/search/render.ml @@ -130,7 +130,7 @@ let text_of_doc doc = Of_comments.string_of_doc doc let config = Odoc_html.Config.v ~search_result:true ~semantic_uris:false ~indent:false - ~flat:false ~open_details:false ~as_json:false ~search_files:[] () + ~flat:false ~open_details:false ~as_json:false () let html_of_doc doc = Tyxml.Html.div ~a:[]