Redirect JS docs when relevant

Author: chenglou

website/siteConfig.js

@@ -354,6 +354,7 @@ const siteConfig = {
   users,
   examples,
   onPageNav: 'separate',
+  scripts: ['/js/redirectToNewDoc.js'],
   /* path to images for header/footer */
   headerIcon: "img/dummy.svg",
   footerIcon: "img/icon_50.png",

website/static/js/redirectToNewDoc.js

@@ -0,0 +1,26 @@
+/*
+ * This code is not run through any build step! Don't add any fancy stuff
+ */
+
+(function() {
+  var specializedDocsRedirect = {
+    'interop': 'docs/manual/latest/introduction',
+    'syntax-cheatsheet': 'docs/manual/latest/overview',
+    'pipe-first': 'docs/manual/latest/pipe',
+    'promise': 'docs/manual/latest/promise',
+    'libraries': 'docs/manual/latest/libraries',
+    'converting-from-js': 'docs/manual/latest/converting-from-js',
+  }
+  var path = window.location.pathname.split('/');
+  var blogPageFullPath = path.slice(2).join('/')
+  var page = path[path.length - 1];
+
+  if (path[1] === 'docs'
+      && page != null
+      // && page !== 'installation' uncomment to test more easily
+      ) {
+    if (specializedDocsRedirect[page] != null) {
+      window.location = 'https://rescript-lang.org/' + specializedDocsRedirect[page]
+    }
+  }
+})();