对不起，我设法通过Google自己找到了答案，还有些运气:)

I'm sorry, I managed to find the answer myself using google and a bit of luck : )

对于那些感兴趣的人

我在debian服务器上安装了pdftk(pdf工具包)，并使用以下命令获得了所需的输出:

I installed the pdftk (pdf toolkit) on our debian server, and using the following command I achieved desired output:

pdftk file1.pdf file2.pdf cat output output.pdf

或

gs -q -sPAPERSIZE=letter -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile=output.pdf file1.pdf file2.pdf file3.pdf ...

这又可以直接通过管道传输到pdf2ps.

This in turn can be piped directly into pdf2ps.