Preserve experimental api docs when deploying site

elizarov · elizarov · commit 3ed9e3873646 · 2018-10-16T12:33:12.000+03:00
diff --git a/site/deploy.sh b/site/deploy.sh
@@ -38,8 +38,31 @@ git --work-tree "$ROOT_DIR" worktree add -B gh-pages "$PAGES_DIR" origin/gh-page
 # Now work in newly created workspace
 cd "$PAGES_DIR"
 
-# Remove all the old documentation
-git rm -r * > /dev/null
+# Fixup all the old documentation files
+# Remove non-.html files
+git rm `find . -type f -not -name '*.html' -not -name '.git'` > /dev/null
+
+# Replace "experimental" .html files with links to the corresponding non-experimental version
+# or remove them if there is no corresponding non-experimental file
+echo "Redirecting experimental pages"
+git_add=()
+git_rm=()
+for file in `find . -type f -name '*.html'` ; do
+    match=nothing_is_found
+    if [[ $file =~ \.experimental ]] ; then
+        match="${file//\.experimental/}"
+    fi
+    if [[ -f "$DIST_DIR/$match" ]] ; then
+        # redirect to non-experimental version
+        echo "<html><script>window.onload = function() { window.location.href = \"/kotlinx.coroutines${match#.}\" }</script></html>" > "$file"
+        git_add+=("$file")
+    else
+        # redirect not found -- remove the file
+        git_rm+=("$file")
+    fi
+done
+git add "${git_add[@]}"
+git rm "${git_rm[@]}" > /dev/null
 
 # Copy new documentation from dist
 cp -r "$DIST_DIR"/* "$PAGES_DIR"
