skip the navigation
Download Source Package psrip:
The script scans a postscript file and saves the lines between '%%BeginDocument: name' and '%%EndDocument' to a new file named dir/name.