略过导航栏
下载源码包 psrip:
The script scans a postscript file and saves the lines between '%%BeginDocument: name' and '%%EndDocument' to a new file named dir/name.