#! /usr/bin/env python

"""Dumb script to edit a particular line in the PostScript.

This makes it possible to print on A4 paper.
"""

f = open("ref.ps", "r")

lines = f.readlines()
f.close()
didit = 0

for i in range(100):
    if lines[i] == '/FMAllowPaperSizeMismatch            false def\n':
	lines[i] = '/FMAllowPaperSizeMismatch            true def\n'
	didit = 1
	break

if not didit:
    print "ref.ps not changed"
else:
    print "rewriting edited ref.ps"
    f = open("ref.ps", "w")
    f.writelines(lines)
    f.close()