make/Docs.gmk
changeset 52204 cf3fafc740bb
parent 51575 76072a077ee1
child 52296 26207007d234
equal deleted inserted replaced
52203:5e894b0f5e63 52204:cf3fafc740bb
   226       <p>This document is divided into \
   226       <p>This document is divided into \
   227       $$(subst 2,two,$$(subst 3,three,$$(words $$($1_GROUPS)))) sections:</p> \
   227       $$(subst 2,two,$$(subst 3,three,$$(words $$($1_GROUPS)))) sections:</p> \
   228       <blockquote><dl> \
   228       <blockquote><dl> \
   229       #
   229       #
   230     $1_OVERVIEW_TEXT += $$(foreach g, $$($1_GROUPS), \
   230     $1_OVERVIEW_TEXT += $$(foreach g, $$($1_GROUPS), \
   231         <dt style="margin-top: 8px;"><a href="\#$$g">$$($$g_GROUP_NAME)</a></dt> \
   231         <dt style="margin-top: 8px;">$$($$g_GROUP_NAME)</dt> \
   232         <dd style="margin-top: 8px;">$$($$g_GROUP_DESCRIPTION)</dd> \
   232         <dd style="margin-top: 8px;">$$($$g_GROUP_DESCRIPTION)</dd> \
   233     )
   233     )
   234     $1_OVERVIEW_TEXT += \
   234     $1_OVERVIEW_TEXT += \
   235         </dl></blockquote> \
   235         </dl></blockquote> \
   236         #
   236         #