diff options
Diffstat (limited to 'test/TEX/TEXFLAGS.py')
| -rw-r--r-- | test/TEX/TEXFLAGS.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/TEX/TEXFLAGS.py b/test/TEX/TEXFLAGS.py index fa5edb6..7bd602f 100644 --- a/test/TEX/TEXFLAGS.py +++ b/test/TEX/TEXFLAGS.py @@ -50,7 +50,7 @@ out_file = open(base_name+'.dvi', 'wb') out_file.write(opt_string + "\n") for l in infile.readlines(): if l[0] != '\\': - out_file.write(l) + out_file.write(l) sys.exit(0) """) |