[Rest2web-develop] Sort in indextree

[Gael V. <gae...@no...>]

Hi all,

and happy new year !

I have made a small modification to "indextree" to allow for sorting the
nodes of the same depth. This simply add a "cmp" keyword argument that
acts exactly as in list sorting (well, actually it is implemented using
list sorting). The patch is trivial and I find this very useful. I am
sending it along and proposing it for inclusion.

Cheers,

Ga=EBl