1@echo off 2@rem $Id: dumphint.bat,v 1.1 2003/05/06 20:50:10 alexcher Exp $ 3@rem Linearized PDF hint formatting utility. 4 5if %1/==/ goto usage 6call gssetgs.bat 7echo -q -dNODISPLAY -dSAFER -dDELAYSAFER >_.at 8:cp 9if %2/==/ goto doit 10echo %2 >>_.at 11shift 12goto cp 13 14:doit 15%GSC% -q @_.at -- dumphint.ps %1 16if exist _.at erase _.at 17goto end 18 19:usage 20echo Usage: dumphint input.pdf 21 22:end 23