@echo off 
@rem $Id: dumphint.bat 11684 2010-09-03 06:52:44Z ken $
@rem Linearized PDF hint formatting utility.

if %1/==/ goto usage
call "%~dp0gssetgs.bat"
echo -q -dNODISPLAY -P- -dSAFER -dDELAYSAFER >"%TEMP%\_.at"
:cp
if %2/==/ goto doit
echo %2 >>"%TEMP%\_.at"
shift
goto cp

:doit
%GSC% -q @"%TEMP%\_.at" -- dumphint.ps %1
if exist "%TEMP%\_.at" erase "%TEMP%\_.at"
goto end

:usage
echo Usage: dumphint input.pdf

:end
