1#!/bin/sh 2# $Id: ps2pdf,v 1.4 2005/08/31 18:31:01 igor Exp $ 3# Convert PostScript to PDF. 4 5# Currently, we produce PDF 1.4 by default, but this is not guaranteed 6# not to change in the future. 7exec ps2pdf14 "$@" 8