improve performance of make_sorted

diff --git a/code/wiki2beamer b/code/wiki2beamer
index 617b29454ea5eff99b2609dd2dd6f613476de195..9032501a093d3b6a192bb3708509a085e2fec02c 100755 (executable)
--- a/code/wiki2beamer
+++ b/code/wiki2beamer
@@ -617,7 +617,7 @@ def expand_code_get_unique_name(defverbs, code, lstparams):
 
 def make_sorted(seq):
     '''replacement for sorted built-in'''
-    l = [ x for x in seq ]
+    l = list(seq)
     l.sort()
     return l