Script updating gh-pages from b615298. [ci skip]

ietf-rats-wg · Apr 4, 2024 · e1eacdd · e1eacdd
1 parent 9b0cac8
commit e1eacdd
Show file tree

Hide file tree

Showing 4 changed files with 704 additions and 689 deletions.
diff --git a/draft-ietf-rats-eat.html b/draft-ietf-rats-eat.html
@@ -2793,9 +2793,11 @@ <h4 id="name-submods-submodules">
 JSON-Selector = $JSON-Selector
 
 $JSON-Selector /= [type: "JWT", nested-token: JWT-Message]
-$JSON-Selector /= [type: "CBOR", nested-token: CBOR-Token-Inside-JSON-Token]
+$JSON-Selector /= [type: "CBOR", nested-token:
+  CBOR-Token-Inside-JSON-Token]
 $JSON-Selector /= [type: "BUNDLE", nested-token: Detached-EAT-Bundle]
-$JSON-Selector /= [type: "DIGEST", nested-token: Detached-Submodule-Digest]
+$JSON-Selector /= [type: "DIGEST", nested-token:
+  Detached-Submodule-Digest]
 
 CBOR-Token-Inside-JSON-Token = base64-url-text
 
@@ -3817,9 +3819,11 @@ <h4 id="name-json-specific-cddl">
 JSON-Selector = $JSON-Selector
 
 $JSON-Selector /= [type: "JWT", nested-token: JWT-Message]
-$JSON-Selector /= [type: "CBOR", nested-token: CBOR-Token-Inside-JSON-Token]
+$JSON-Selector /= [type: "CBOR", nested-token:
+  CBOR-Token-Inside-JSON-Token]
 $JSON-Selector /= [type: "BUNDLE", nested-token: Detached-EAT-Bundle]
-$JSON-Selector /= [type: "DIGEST", nested-token: Detached-Submodule-Digest]
+$JSON-Selector /= [type: "DIGEST", nested-token:
+  Detached-Submodule-Digest]
 
 CBOR-Token-Inside-JSON-Token = base64-url-text
 
@@ -5846,7 +5850,8 @@ <h2 id="name-cddl-for-cwt-and-jwt">
 JC&lt;J,C&gt; = JSON-ONLY&lt;J&gt; / CBOR-ONLY&lt;C&gt;
 
 ; Same as JC&lt;&gt; but with unwound generic nesting as it seems to cause
-; problems. Perhaps this is the nesting problem described in RFC 8610.
+; problems. Perhaps this is the nesting problem described in RFC
+; 8610.
 JC-NEST-SAFE&lt;J,C&gt; = J .feature "json" / C .feature "cbor"
 </pre><a href="#appendix-D-5" class="pilcrow">¶</a>
 </div>

diff --git a/draft-ietf-rats-eat.txt b/draft-ietf-rats-eat.txt
@@ -1512,9 +1512,11 @@ Table of Contents
    JSON-Selector = $JSON-Selector
 
    $JSON-Selector /= [type: "JWT", nested-token: JWT-Message]
-   $JSON-Selector /= [type: "CBOR", nested-token: CBOR-Token-Inside-JSON-Token]
+   $JSON-Selector /= [type: "CBOR", nested-token:
+     CBOR-Token-Inside-JSON-Token]
    $JSON-Selector /= [type: "BUNDLE", nested-token: Detached-EAT-Bundle]
-   $JSON-Selector /= [type: "DIGEST", nested-token: Detached-Submodule-Digest]
+   $JSON-Selector /= [type: "DIGEST", nested-token:
+     Detached-Submodule-Digest]
 
    CBOR-Token-Inside-JSON-Token = base64-url-text
 
@@ -2549,9 +2551,11 @@ Table of Contents
    JSON-Selector = $JSON-Selector
 
    $JSON-Selector /= [type: "JWT", nested-token: JWT-Message]
-   $JSON-Selector /= [type: "CBOR", nested-token: CBOR-Token-Inside-JSON-Token]
+   $JSON-Selector /= [type: "CBOR", nested-token:
+     CBOR-Token-Inside-JSON-Token]
    $JSON-Selector /= [type: "BUNDLE", nested-token: Detached-EAT-Bundle]
-   $JSON-Selector /= [type: "DIGEST", nested-token: Detached-Submodule-Digest]
+   $JSON-Selector /= [type: "DIGEST", nested-token:
+     Detached-Submodule-Digest]
 
    CBOR-Token-Inside-JSON-Token = base64-url-text
 
@@ -4245,7 +4249,8 @@ Appendix D.  CDDL for CWT and JWT
    JC<J,C> = JSON-ONLY<J> / CBOR-ONLY<C>
 
    ; Same as JC<> but with unwound generic nesting as it seems to cause
-   ; problems. Perhaps this is the nesting problem described in RFC 8610.
+   ; problems. Perhaps this is the nesting problem described in RFC
+   ; 8610.
    JC-NEST-SAFE<J,C> = J .feature "json" / C .feature "cbor"
 
    ; A JWT message is either a JWS or JWE in compact serialization form