1 files changed, 41 insertions, 0 deletions
diff --git a/Master/tlpkg/tlgs/lib/pdf2ps.cmd b/Master/tlpkg/tlgs/lib/pdf2ps.cmd
new file mode 100644
index 00000000000..725cf6da4ef
--- /dev/null
+++ b/Master/tlpkg/tlgs/lib/pdf2ps.cmd
@@ -0,0 +1,41 @@
+/* $Id: pdf2ps.cmd 6300 2005-12-28 19:56:24Z giles $ */
+/*
+ * This file is maintained by a user: if you have any questions about it,
+ * please contact Mark Hale (mark.hale@physics.org).
+ */
+
+/* Convert PDF to PostScript. */
+
+parse arg params
+
+gs='@gsos2'
+inext='.pdf'
+outext='.ps'
+
+if params='' then call usage
+
+options='-dNOPAUSE -dBATCH -dSAFER -sDEVICE=pswrite'
+
+/* extract options from command line */
+i=1
+param=word(params,i)
+do while substr(param,1,1)='-'
+	options=options param
+	i=i+1
+	param=word(params,i)
+end
+
+infile=param
+if infile='' then call usage
+outfile=word(params,i+1)
+if outfile='' then do
+	outfile=infile''outext
+	infile=infile''inext
+end
+
+gs '-q -sOutputFile='outfile options infile
+exit
+
+usage:
+say 'Usage: pdf2ps [-dASCII85DecodePages=false] [-dLanguageLevel=n] input[.pdf output.ps]'
+exit