gs -dBATCH -dNOPAUSE -q -sDEVICE=pdfwrite -sOutputFile=sortie.pdf fichier1.pdf fichier2.pdf ...
La commande précédente est bien longue et difficile à retenir, ainsi on pourrat en faire le script suivant :
#! /bin/sh out=$1 shift 1 gs -dBATCH -dNOPAUSE -q -sDEVICE=pdfwrite -sOutputFile=$out $*