diff --git a/docs/src/_static/pop_ver.js b/docs/src/_static/pop_ver.js new file mode 100644 index 00000000..f6f8aa73 --- /dev/null +++ b/docs/src/_static/pop_ver.js @@ -0,0 +1,17 @@ +$(document).ready(function() { + var proj_end = document.baseURI.indexOf("versions") + 9; + var end = document.baseURI.indexOf("/", proj_end); + var cur_ver = document.baseURI.substring(proj_end, end); + var name = cur_ver.startsWith('cesm') ? cur_ver.substring(0) : cur_ver; + var mylist = $("#version-list"); + mylist.empty(); + mylist.append($("