@@ -7,13 +7,15 @@
\newcommand{\selectmulti}{\HCode{<li class="active"><a href="/guide">HTML</a></li>\Hnewline
<li><a href="/guide/monolithic">HTML (1 page)</a></li>\Hnewline}}
\newcommand{\selectmonolith}{\HCode{<li><a href="/guide/">HTML</a></li>\Hnewline
<li><a class="active"><a href="/guide/monolithic">HTML (1 page)</a></li>\Hnewline}}
\newcommand{\finishmymenu}{\HCode{<li><a href="/guide/comprehensive-gpl-guide.pdf">PDF</a></li>\Hnewline
<li><a href="/guide/comprehensive-gpl-guide.ps">Postscript</a></li>\Hnewline
</ul>\Hnewline}}
\:CheckOption{monolith} \if:Option
\newcommand{\monolith}{\Configure{@BODY}{\startmymenu\selectmonolith\finishmymenu\HCode{</nav></div></footer>}}}
\else
\newcommand{\monolith}{}
\fi