bos@18: #!/usr/bin/python
bos@18: 
bos@18: import errno
bos@18: import os
bos@18: import re
bos@18: import sys
bos@18: 
bos@18: hg_id = sys.argv[1][:12]
bos@18: 
bos@18: dest_dir = sys.argv[2]
bos@18: 
bos@18: empty_re = re.compile('^\s*$')
bos@18: line_re = re.compile('^(\w+)(.*)')
bos@18: 
bos@18: try:
bos@18:     os.makedirs(dest_dir)
bos@18: except OSError, err:
bos@18:     if err.errno != errno.EEXIST:
bos@18:         raise
bos@18: 
bos@18: def feedback(name, text, line):
bos@18:     return r'\marginpar{\scriptsize \href{http://www.sourcecontrol.org/book/feedback.cgi?id=%s&file=%s&line=%d}{Feedback?}}' % (hg_id, name, line)
bos@18: 
bos@18: for name in sys.argv[3:]:
bos@18:     if not name.endswith('.tex'):
bos@18:         continue
bos@18:     dest_name = os.path.join(dest_dir, name)
bos@18:     ifp = open(name)
bos@18:     ofp = open(dest_name, 'w')
bos@18:     new_par = True
bos@18:     line_num = 0
bos@18:     for line in ifp:
bos@18:         line_num += 1
bos@18:         if new_par:
bos@18:             m = line_re.match(line)
bos@18:             if m:
bos@18:                 line = m.group(1) + feedback(name, line, line_num) + m.group(2)
bos@18:                 new_par = False
bos@18:         elif not line.strip():
bos@18:             new_par = True
bos@18:         ofp.write(line)