gen-manual-lists.py: fixup after 2440385 (config: reorder top-level menu)
authorPeter Korsgaard <jacmet@sunsite.dk>
Thu, 29 Aug 2013 22:29:27 +0000 (00:29 +0200)
committerPeter Korsgaard <jacmet@sunsite.dk>
Thu, 29 Aug 2013 22:29:27 +0000 (00:29 +0200)
commit13d917aaffadc991360992c86031f2da67e07553
tree9a065e136591b14159886bf43ee83d517674dbfb
parent4e4a0a347764935d044a5d782d86006964fc3830
gen-manual-lists.py: fixup after 2440385 (config: reorder top-level menu)

Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
support/scripts/gen-manual-lists.py