--- /dev/null
+<map id="G" name="G">
+<area shape="rect" id="node3" href="$stringdist_8h.html" title="Functions for String Alignment." alt="" coords="5,109,192,165"/>
+<area shape="rect" id="node5" href="$treedist_8h.html" title="Functions for Tree Edit Distances." alt="" coords="216,109,392,165"/>
+</map>