Remove no-op bool case

It behaved the same as the 'else'

diff --git a/doc/infosrc/templates/attrs.html.j2 b/doc/infosrc/templates/attrs.html.j2
index 42df96268bb7c40ab23c8a10f59f44796db9e71f..a0fe146926fe9717462a816e908598825f77cfcd 100644 (file)
--- a/doc/infosrc/templates/attrs.html.j2
+++ b/doc/infosrc/templates/attrs.html.j2
@@ -91,9 +91,7 @@ of the layout programs.
     {%- endif -%}
     {%- if kind in ['double', 'int', 'string'] -%}
       {{ kind }}
-    {%- elif kind == 'bool' -%}
-      <A HREF="#k:bool">bool</A>
-    {% else -%}
+    {%- else -%}
       <A HREF="#k:{{kind}}">{{kind}}</A>
     {% endif -%}
   {%- endfor -%}