Script updating gh-pages from 0b57dae. [ci skip]

ietf-wg-ppm · Oct 28, 2024 · 55eae25 · 55eae25
1 parent 02d681a
commit 55eae25
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/cjpatton/85/draft-ietf-ppm-dap-taskprov.html b/cjpatton/85/draft-ietf-ppm-dap-taskprov.html
@@ -1343,7 +1343,7 @@ <h2 id="name-the-taskbind-extension">
 <pre>
 enum {
     taskbind(0xff00),
-    (65535)
+    (2^16-1)
 } ExtensionType;
 </pre><a href="#section-3-2" class="pilcrow">¶</a>
 </div>
@@ -1457,7 +1457,7 @@ <h3 id="name-task-encoding">
 enum {
     reserved(0), /* Reserved for testing purposes */
     none(1),
-    (65535)
+    (2^16-1)
 } DpMechanism;
 
 struct {
@@ -1533,7 +1533,7 @@ <h3 id="name-extensions">
 
 enum {
   reserved(0),
-  (65535)
+  (2^16-1)
 } TaskbindExtensionType;
 </pre><a href="#section-3.2-3" class="pilcrow">¶</a>
 </div>

diff --git a/cjpatton/85/draft-ietf-ppm-dap-taskprov.txt b/cjpatton/85/draft-ietf-ppm-dap-taskprov.txt
@@ -190,7 +190,7 @@ Table of Contents
 
    enum {
        taskbind(0xff00),
-       (65535)
+       (2^16-1)
    } ExtensionType;
 
    The payload of the extension MUST be empty.  If the payload is non-
@@ -303,7 +303,7 @@ Table of Contents
    enum {
        reserved(0), /* Reserved for testing purposes */
        none(1),
-       (65535)
+       (2^16-1)
    } DpMechanism;
 
    struct {
@@ -375,7 +375,7 @@ Table of Contents
 
    enum {
      reserved(0),
-     (65535)
+     (2^16-1)
    } TaskbindExtensionType;
 
    The extension_type identifies the extension and extension_data is