| #!/bin/sh | |
| awk ' { | |
| if ($0 == "%%BoundingBox: 50 50 302 410") { | |
| /* print "%%BoundingBox: 50 50 302 300" */ | |
| print "%%BoundingBox: 50 95 302 355" | |
| } else if ($1 == "%%Title:") { | |
| print "%%Title: Is Parallel Programming Hard, And, If So, What Can You Do About It?" | |
| } else if ($1 == "/Title") { | |
| print " /Title (Is Parallel Programming Hard, And, If So, What Can You Do About It?)" | |
| } else { | |
| print $0 | |
| } | |
| }' |