| A utility class for updating web pages.
This is used for the Kawa/Qexo web pages.
It assumes an input html file which looks like:
... copied as is ...
<!--start-generated-navbar-->
... ignored ...
<!--start-children-toc-->
<ul [parent="parent-link.html"]>
<li><a href="...">...</a></li>
</ul>
<!--end-children-toc-->
... ignored ...
<!--end-generated-navbar-->
... copied as is ...
The file is updated to have the same format, but merging in
navigation bar links from the
"parent-link.html" .
|