Clément Joly 090b4fdb16 doc: make section order actually stable ...

We were already trying to achieve that by sorting the table, but we were
actually sorting by values (i.e. documentation text of a particular
section). To fix this, we now extract the keys, sort them and get back
the items from the initial table, in alphabetical order now.

2023-06-15 21:54:17 +00:00

..

gen_doc.fnl

doc: make section order actually stable

2023-06-15 21:54:17 +00:00