# dblspace.py
#
# Create a double spaced version of a given text file.

# Open the input file and extract all of the lines.
infile = file( "myreport.txt", "r" )
fileInput = infile.readlines()
infile.close()

# Open the output file and print each string appended with a \n.
outfile = file( "double.txt", "w" )
i = 0
while i < len( fileInput ) :
   outfile.write( fileInput[ i ] + "\n" )
   i = i + 1
   
outfile.close()