[devdocsgjs/main: 1534/1867] Update OCaml documentation (4.12)

[Andy Holmes <andyholmes src gnome org>]

commit 1f6d31933469b0ea44fd0b821ae0f7a5041f81ed
Author: Simon Legner <Simon Legner gmail com>
Date:   Tue Mar 2 09:11:22 2021 +0100

    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
-      &copy; INRIA 1995-2020.
+      &copy; 1995-2021 INRIA.
     HTML
 
     def get_latest_version(opts)