1 
#!/usr/bin/env python
2 





3

# Reprint a file (get the line endings right)





4






5

import sys





6






7

f=open(sys.argv[1])





8






9

s=f.read(4096)





10

while s != '':





11

	s=s.replace('\r', '\n')





12

	s=s.replace('\n\n', '\n')





13

	sys.stdout.write(s)





14

	s=f.read(4096)





15






16

f.close()





17

print ''