SEESenv/scripts/autoid.py
changeset 31 06a02dd3966f
parent 2 52d12eb31c30
child 33 bc535262231d
equal deleted inserted replaced
30:f66b0a5ebf40 31:06a02dd3966f
     7 import glob, os, re, sys
     7 import glob, os, re, sys
     8 
     8 
     9 tagged = re.compile('<para[^>]* id="x_([0-9a-f]+)"[^>]*>', re.M)
     9 tagged = re.compile('<para[^>]* id="x_([0-9a-f]+)"[^>]*>', re.M)
    10 untagged = re.compile('<para>')
    10 untagged = re.compile('<para>')
    11 
    11 
    12 names = glob.glob('ch*.docbook') 
    12 names = glob.glob('/home/hg/repos/SEES-hacks/temp/ch*.docbook') 
    13 # First pass: find the highest-numbered paragraph ID.
    13 # First pass: find the highest-numbered paragraph ID.
    14 
    14 
    15 
    15 
    16 chapter=None
    16 chapter=None
    17 seen = set()
    17 seen = set()