make sure the methods get sorted in the xml doc output
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 23 Feb 2012 10:25:28 +0000 (11:25 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 23 Feb 2012 10:25:28 +0000 (11:25 +0100)
doc/DocBookLocal.py

index 1290610..75f30d7 100755 (executable)
@@ -7,6 +7,7 @@ import sys
 
 api = PLCAPI(None)
 methods = api.all_methods
+methods.sort()
 good_apis = []
 bad_apis = []
 for method in methods: