diff --git a/bootstrap/bin/hocc/spec.ml b/bootstrap/bin/hocc/spec.ml
index 549e488d2..37af5d871 100644
--- a/bootstrap/bin/hocc/spec.ml
+++ b/bootstrap/bin/hocc/spec.ml
@@ -1959,10 +1959,10 @@ let hmi_template = {|{
     Spec = {
         Algorithm = {
             type t: t =
-              | Lr1 (** LR(1) algorithm. *)
-              | Ielr1 (** IELR(1) algorithm. *)
-              | Pgm1 (** PGM(1) algorithm. *)
-              | Lalr1 (** LALR(1) algorithm. *)
+              | Lr1 [@doc "LR(1) algorithm."]
+              | Ielr1 [@doc "IELR(1) algorithm."]
+              | Pgm1 [@doc "PGM(1) algorithm."]
+              | Lalr1 [@doc "LALR(1) algorithm."]
 
             pp >e: t -> Fmt.Formatter e >e-> Fmt.Formatter e
           }
@@ -2445,10 +2445,10 @@ let hm_template = {|{
     Spec = {
         Algorithm = {
             type t: t =
-              | Lr1 (** LR(1) algorithm. *)
-              | Ielr1 (** IELR(1) algorithm. *)
-              | Pgm1 (** PGM(1) algorithm. *)
-              | Lalr1 (** LALR(1) algorithm. *)
+              | Lr1
+              | Ielr1
+              | Pgm1
+              | Lalr1
 
             to_string = function
               | Lr1 -> "Lr1"
diff --git a/bootstrap/test/hocc/Example.expected.hm b/bootstrap/test/hocc/Example.expected.hm
index 25f94976e..e9605af4c 100644
--- a/bootstrap/test/hocc/Example.expected.hm
+++ b/bootstrap/test/hocc/Example.expected.hm
@@ -6,10 +6,10 @@ include [:]{
     Spec = {
         Algorithm = {
             type t: t =
-              | Lr1 (** LR(1) algorithm. *)
-              | Ielr1 (** IELR(1) algorithm. *)
-              | Pgm1 (** PGM(1) algorithm. *)
-              | Lalr1 (** LALR(1) algorithm. *)
+              | Lr1
+              | Ielr1
+              | Pgm1
+              | Lalr1
 
             to_string = function
               | Lr1 -> "Lr1"
diff --git a/bootstrap/test/hocc/Example.expected.hmi b/bootstrap/test/hocc/Example.expected.hmi
index 344592274..950786f0d 100644
--- a/bootstrap/test/hocc/Example.expected.hmi
+++ b/bootstrap/test/hocc/Example.expected.hmi
@@ -7,10 +7,10 @@ include [:]{
     Spec = {
         Algorithm = {
             type t: t =
-              | Lr1 (** LR(1) algorithm. *)
-              | Ielr1 (** IELR(1) algorithm. *)
-              | Pgm1 (** PGM(1) algorithm. *)
-              | Lalr1 (** LALR(1) algorithm. *)
+              | Lr1 [@doc "LR(1) algorithm."]
+              | Ielr1 [@doc "IELR(1) algorithm."]
+              | Pgm1 [@doc "PGM(1) algorithm."]
+              | Lalr1 [@doc "LALR(1) algorithm."]
 
             pp >e: t -> Fmt.Formatter e >e-> Fmt.Formatter e
           }
diff --git a/bootstrap/test/hocc/Example_b.expected.hm b/bootstrap/test/hocc/Example_b.expected.hm
index 0c54d87e4..61a247020 100644
--- a/bootstrap/test/hocc/Example_b.expected.hm
+++ b/bootstrap/test/hocc/Example_b.expected.hm
@@ -7,10 +7,10 @@ include
     Spec = {
         Algorithm = {
             type t: t =
-              | Lr1 (** LR(1) algorithm. *)
-              | Ielr1 (** IELR(1) algorithm. *)
-              | Pgm1 (** PGM(1) algorithm. *)
-              | Lalr1 (** LALR(1) algorithm. *)
+              | Lr1
+              | Ielr1
+              | Pgm1
+              | Lalr1
 
             to_string = function
               | Lr1 -> "Lr1"
diff --git a/bootstrap/test/hocc/Example_b.expected.hmi b/bootstrap/test/hocc/Example_b.expected.hmi
index 82fd01260..d5b2b135f 100644
--- a/bootstrap/test/hocc/Example_b.expected.hmi
+++ b/bootstrap/test/hocc/Example_b.expected.hmi
@@ -7,10 +7,10 @@ include
     Spec = {
         Algorithm = {
             type t: t =
-              | Lr1 (** LR(1) algorithm. *)
-              | Ielr1 (** IELR(1) algorithm. *)
-              | Pgm1 (** PGM(1) algorithm. *)
-              | Lalr1 (** LALR(1) algorithm. *)
+              | Lr1 [@doc "LR(1) algorithm."]
+              | Ielr1 [@doc "IELR(1) algorithm."]
+              | Pgm1 [@doc "PGM(1) algorithm."]
+              | Lalr1 [@doc "LALR(1) algorithm."]
 
             pp >e: t -> Fmt.Formatter e >e-> Fmt.Formatter e
           }
diff --git a/bootstrap/test/hocc/Example_c.expected.hm b/bootstrap/test/hocc/Example_c.expected.hm
index b91aef047..47d5aa247 100644
--- a/bootstrap/test/hocc/Example_c.expected.hm
+++ b/bootstrap/test/hocc/Example_c.expected.hm
@@ -7,10 +7,10 @@ Parser = {
         Spec = {
             Algorithm = {
                 type t: t =
-                  | Lr1 (** LR(1) algorithm. *)
-                  | Ielr1 (** IELR(1) algorithm. *)
-                  | Pgm1 (** PGM(1) algorithm. *)
-                  | Lalr1 (** LALR(1) algorithm. *)
+                  | Lr1
+                  | Ielr1
+                  | Pgm1
+                  | Lalr1
 
                 to_string = function
                   | Lr1 -> "Lr1"
diff --git a/bootstrap/test/hocc/Example_c.expected.hmi b/bootstrap/test/hocc/Example_c.expected.hmi
index d5adab347..5eff96bd3 100644
--- a/bootstrap/test/hocc/Example_c.expected.hmi
+++ b/bootstrap/test/hocc/Example_c.expected.hmi
@@ -7,10 +7,10 @@ Parser = {
         Spec = {
             Algorithm = {
                 type t: t =
-                  | Lr1 (** LR(1) algorithm. *)
-                  | Ielr1 (** IELR(1) algorithm. *)
-                  | Pgm1 (** PGM(1) algorithm. *)
-                  | Lalr1 (** LALR(1) algorithm. *)
+                  | Lr1 [@doc "LR(1) algorithm."]
+                  | Ielr1 [@doc "IELR(1) algorithm."]
+                  | Pgm1 [@doc "PGM(1) algorithm."]
+                  | Lalr1 [@doc "LALR(1) algorithm."]
 
                 pp >e: t -> Fmt.Formatter e >e-> Fmt.Formatter e
               }
diff --git a/doc/tools/hocc.md b/doc/tools/hocc.md
index e84ff3ca2..a49ba816b 100644
--- a/doc/tools/hocc.md
+++ b/doc/tools/hocc.md
@@ -538,10 +538,10 @@ parser states can be used as persistent reusable snapshots.
     Spec = {
         Algorithm = {
             type t: t =
-              | Lr1 (** LR(1) algorithm. *)
-              | Ielr1 (** IELR(1) algorithm. *)
-              | Pgm1 (** PGM(1) algorithm. *)
-              | Lalr1 (** LALR(1) algorithm. *)
+              | Lr1 [@doc "LR(1) algorithm."]
+              | Ielr1 [@doc "IELR(1) algorithm."]
+              | Pgm1 [@doc "PGM(1) algorithm."]
+              | Lalr1 [@doc "LALR(1) algorithm."]
 
             pp >e: t -> Fmt.Formatter e >e-> Fmt.Formatter e
           }