--- a/web/html/backup/autoid.py Fri Feb 05 23:42:24 2010 +0530
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,47 +0,0 @@
-#!/usr/bin/env python
-#
-# Add unique ID attributes to para tags. This script should only be
-# run by one person, since otherwise it introduces the possibility of
-# chaotic conflicts among tags.
-
-import glob, os, re, sys
-
-tagged = re.compile('<para[^>]* id="x_([0-9a-f]+)"[^>]*>', re.M)
-untagged = re.compile('<para>')
-
-names = glob.glob('ch*.xml') + glob.glob('app*.xml')
-
-# First pass: find the highest-numbered paragraph ID.
-
-biggest_id = 0
-seen = set()
-errs = 0
-
-for name in names:
- for m in tagged.finditer(open(name).read()):
- i = int(m.group(1),16)
- if i in seen:
- print >> sys.stderr, '%s: duplication of ID %s' % (name, i)
- errs += 1
- seen.add(i)
- if i > biggest_id:
- biggest_id = i
-
-def retag(s):
- global biggest_id
- biggest_id += 1
- return '<para id="x_%x">' % biggest_id
-
-# Second pass: add IDs to paragraphs that currently lack them.
-
-for name in names:
- f = open(name).read()
- f1 = untagged.sub(retag, f)
- if f1 != f:
- tmpname = name + '.tmp'
- fp = open(tmpname, 'w')
- fp.write(f1)
- fp.close()
- os.rename(tmpname, name)
-
-sys.exit(errs)