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