From 1f6d31933469b0ea44fd0b821ae0f7a5041f81ed Mon Sep 17 00:00:00 2001 From: Simon Legner Date: Tue, 2 Mar 2021 09:11:22 +0100 Subject: [PATCH] Update OCaml documentation (4.12) --- assets/javascripts/templates/pages/about_tmpl.coffee | 2 +- lib/docs/filters/ocaml/entries.rb | 2 +- lib/docs/scrapers/ocaml.rb | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/assets/javascripts/templates/pages/about_tmpl.coffee b/assets/javascripts/templates/pages/about_tmpl.coffee index 3d155409..0fa37258 100644 --- a/assets/javascripts/templates/pages/about_tmpl.coffee +++ b/assets/javascripts/templates/pages/about_tmpl.coffee @@ -578,7 +578,7 @@ credits = [ 'https://raw.githubusercontent.com/numpy/numpy/master/LICENSE.txt' ], [ 'OCaml', - '1995-2020 Inria', + '1995-2021 INRIA', 'CC BY-SA', 'https://ocaml.org/docs/' ], [ diff --git a/lib/docs/filters/ocaml/entries.rb b/lib/docs/filters/ocaml/entries.rb index 068faeba..088d1d3c 100644 --- a/lib/docs/filters/ocaml/entries.rb +++ b/lib/docs/filters/ocaml/entries.rb @@ -2,7 +2,7 @@ module Docs class Ocaml class EntriesFilter < Docs::EntriesFilter def get_name - title = context[:html_title].gsub(/\u00A0/, " ") + title = context[:html_title].gsub(/[[:space:]\u200d]+/, " ") title = title.split.join(" ").strip title.gsub!(/^Chapter /, "") diff --git a/lib/docs/scrapers/ocaml.rb b/lib/docs/scrapers/ocaml.rb index bd98222e..9f5cab47 100644 --- a/lib/docs/scrapers/ocaml.rb +++ b/lib/docs/scrapers/ocaml.rb @@ -3,7 +3,7 @@ module Docs self.name = 'OCaml' self.type = 'ocaml' self.root_path = 'index.html' - self.release = '4.11' + self.release = '4.12' self.base_url = "https://www.ocaml.org/releases/#{self.release}/htmlman/" self.links = { home: 'https://ocaml.org/', @@ -23,7 +23,7 @@ module Docs ] options[:attribution] = <<-HTML - © INRIA 1995-2020. + © 1995-2021 INRIA. HTML def get_latest_version(opts)