MENU -- hypertext menu item

i1 : DIV { PARA "Hi there.",
         MENU { "some topics", TO "topic a", TO "topic b", "more topics", TO "topic c" } }
--warning: tag has no documentation: User :: topic a, key "topic a"
--warning: tag has no documentation: User :: topic b, key "topic b"
--warning: tag has no documentation: User :: topic c, key "topic c"

o1 = Hi there.

     Menu
     ----

     some topics

       * "topic a"
       * "topic b"

     more topics

       * "topic c"

o1 : DIV

i2 : info oo

o2 = Hi there.

     * Menu:


     some topics
     * topic a::
     * topic b::

     more topics
     * topic c::

i3 : html ooo

o3 = <div><p>Hi there.</p>
     <div><h3>Menu</h3>
     <h4>some topics</h4>
     <ul><li><span><tt>topic a</tt> (missing documentation<!-- tag: topic a -->)</span></li>
     <li><span><tt>topic b</tt> (missing documentation<!-- tag: topic b -->)</span></li>
     </ul>
     <h4>more topics</h4>
     <ul><li><span><tt>topic c</tt> (missing documentation<!-- tag: topic c -->)</span></li>
     </ul>
     </div>
     </div>