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