diff options
Diffstat (limited to 'Doc/ref/fixps.py')
-rwxr-xr-x | Doc/ref/fixps.py | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/Doc/ref/fixps.py b/Doc/ref/fixps.py deleted file mode 100755 index 4b3218484c..0000000000 --- a/Doc/ref/fixps.py +++ /dev/null @@ -1,26 +0,0 @@ -#! /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() |