1@echo off 2@rem Convert PDF to PostScript. 3 4if %1/==/ goto usage 5if %2/==/ goto usage 6call "%~dp0gssetgs.bat" 7echo -dNOPAUSE -dBATCH -P- -dSAFER -sDEVICE#ps2write >"%TEMP%\_.at" 8:cp 9if %3/==/ goto doit 10echo %1 >>"%TEMP%\_.at" 11shift 12goto cp 13 14:doit 15rem Watcom C deletes = signs, so use # instead. 16%GSC% -q -sOutputFile#%2 @"%TEMP%\_.at" %1 17if exist "%TEMP%\_.at" erase "%TEMP%\_.at" 18goto end 19 20:usage 21echo "Usage: pdf2ps [-dASCII85DecodePages=false] [-dLanguageLevel=n] input.pdf output.ps" 22 23:end 24