1 2 3 4 5 6 7
#!/bin/sh # $Id$ # Convert PostScript to PDF. # Currently, we produce PDF 1.2 by default, but this is not guaranteed # not to change in the future. exec ps2pdf12 "$@"