ps2pdf 212 B

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