old_contents: #!/usr/bin/env python
  
  import glob
  import time
  
  def readfile(fn):
      with open(fn, 'rb') as f:
          return f.read()
  
  c = '\r\n\r\n'.join(map(readfile, glob.glob('code/*')))
  n = time.strftime('%Y-%m-%d-%H%M%S')
  m = readfile('main.js').replace('@@BUILDDATE@@', n)
  m = m.split('@@INJECTHERE@@')
  m.insert(1, c)
  t = '\r\n\r\n'.join(m)
  
  with open('total-conversion-build.user.js', 'wb') as f:
      f.write(t)
  
  # vim: ai si ts=4 sw=4 sts=4 et
  
new_contents: #!/usr/bin/env python
  
  import glob
  import time
  
  def readfile(fn):
      with open(fn, 'Ur') as f:
          return f.read()
  
  c = '\n\n'.join(map(readfile, glob.glob('code/*')))
  n = time.strftime('%Y-%m-%d-%H%M%S')
  m = readfile('main.js').replace('@@BUILDDATE@@', n)
  m = m.split('@@INJECTHERE@@')
  m.insert(1, c)
  t = '\n\n'.join(m)
  
  with open('total-conversion-build.user.js', 'w') as f:
      f.write(t)
  
  # vim: ai si ts=4 sw=4 sts=4 et
  
subject: fix for line endings