commit 6c723a2f46051a3543bb7856b41761e84f5a8a15
author Gilles Peskine <Gilles.Peskine@arm.com> Fri Apr 17 16:57:52 2020 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Mon Apr 20 15:12:47 2020 +0200
tree 69512f17ae2df3de8bc87bcced0311efd925ea07
parent 87dd014036b7f0b332b350e52aae65c9a615d7e5

Update PSA API specification to 1.0.0

Generated from the PSA Crypto API Dockerfile at tag psa-crypto-api-1.0.0

docs/html/_static/websupport.js

diff --git a/docs/html/_static/websupport.js b/docs/html/_static/websupport.js
index 3b4999e..79b18e3 100644
--- a/docs/html/_static/websupport.js
+++ b/docs/html/_static/websupport.js
@@ -4,7 +4,7 @@
  *
  * sphinx.websupport utilities for all documentation.
  *
- * :copyright: Copyright 2007-2019 by the Sphinx team, see AUTHORS.
+ * :copyright: Copyright 2007-2018 by the Sphinx team, see AUTHORS.
  * :license: BSD, see LICENSE for details.
  *
  */
@@ -301,7 +301,7 @@
     li.hide();
 
     // Determine where in the parents children list to insert this comment.
-    for(var i=0; i < siblings.length; i++) {
+    for(i=0; i < siblings.length; i++) {
       if (comp(comment, siblings[i]) <= 0) {
         $('#cd' + siblings[i].id)
           .parent()