Since the chapter list is contained twice on the intro page, we
must use different names for the anchors. To do so, change the
TABLE_OF_CONTENTS() macro to receive the name of the anchor as an
argument.
Found by checklink.
Fixes: 47d1b278687988739b214025788f7c5739916e70
»)
SECTION(«Table of Contents»)
»)
SECTION(«Table of Contents»)
+TABLE_OF_CONTENTS(«chapter_list_introduction»)
»)
define(«TABLE_OF_CONTENTS», «
»)
define(«TABLE_OF_CONTENTS», «
<li> TOC_ENTRY(«Introduction», «$2») </li>
<li> TOC_ENTRY(«Unix_Concepts», «$2») </li>
ifelse(PUBLIC(), «false», «
<li> TOC_ENTRY(«Introduction», «$2») </li>
<li> TOC_ENTRY(«Unix_Concepts», «$2») </li>
ifelse(PUBLIC(), «false», «
</svg>
<div class="dropdown-content">
<h3> Chapter </h3>
</svg>
<div class="dropdown-content">
<h3> Chapter </h3>
+ TABLE_OF_CONTENTS(«chapter_list»)
<h4> Section </h4>
<ul>
divert(«1»)
<h4> Section </h4>
<ul>
divert(«1»)