belaran@976: # This script works with Python 3.0 or above belaran@976: belaran@976: import glob, os, re belaran@976: belaran@976: chapter_re = re.compile(r'<(chapter|appendix|preface|bibliography)\s+id="([^"]+)">') belaran@976: filename_re = re.compile(r'<\?dbhtml filename="([^"]+)"\?>') belaran@976: title_re = re.compile(r'(.*)') belaran@976: belaran@976: chapters = (sorted(glob.glob('../ch*.xml')) + belaran@976: sorted(glob.glob('../app*.xml')) + belaran@976: sorted(glob.glob('../biblio*.xml'))) belaran@976: belaran@976: fp = open('index-read.html.in', 'w', encoding='utf-8') belaran@976: belaran@976: print(''' belaran@976: belaran@976:
', file=fp) belaran@976: belaran@976: fp.close()