dumphint.bat 378 B

12345678910111213141516171819202122
  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. if %1/==/ goto usage
  5. call gssetgs.bat
  6. echo -q -dNODISPLAY -dSAFER -dDELAYSAFER >_.at
  7. :cp
  8. if %2/==/ goto doit
  9. echo %2 >>_.at
  10. shift
  11. goto cp
  12. :doit
  13. %GSC% -q @_.at -- dumphint.ps %1
  14. if exist _.at erase _.at
  15. goto end
  16. :usage
  17. echo Usage: dumphint input.pdf
  18. :end