diff web/genindex.py @ 815:0ffae4ee4c47

Fix indexing.
author Bryan O'Sullivan <bos@serpentine.com>
date Sun, 26 Apr 2009 23:22:04 -0700
parents 9e8e5292acaa
children
line wrap: on
line diff
--- a/web/genindex.py	Sun Apr 26 23:16:56 2009 -0700
+++ b/web/genindex.py	Sun Apr 26 23:22:04 2009 -0700
@@ -6,7 +6,8 @@
 filename_re = re.compile(r'<\?dbhtml filename="([^"]+)"\?>')
 title_re = re.compile(r'<title>(.*)</title>')
 
-chapters = glob.glob('../en/ch*.xml') + glob.glob('../en/app*.xml')
+chapters = (sorted(glob.glob('../en/ch*.xml')) +
+            sorted(glob.glob('../en/app*.xml')))
 
 fp = open('index-read.html.in', 'w')