From 9f103e0b0fa31151590c6891b02fbb7b899148ef Mon Sep 17 00:00:00 2001 From: Jindrich Novy Date: Jan 03 2008 08:28:52 +0000 Subject: add ptex patch --- diff --git a/texlive-2007-fmtutil-ptex.patch b/texlive-2007-fmtutil-ptex.patch new file mode 100644 index 0000000..93fc223 --- /dev/null +++ b/texlive-2007-fmtutil-ptex.patch @@ -0,0 +1,12 @@ +diff -up texlive-2007/texk/tetex/fmtutil.ptex texlive-2007/texk/tetex/fmtutil +--- texlive-2007/texk/tetex/fmtutil.ptex 2008-01-01 22:32:44.000000000 +0100 ++++ texlive-2007/texk/tetex/fmtutil 2008-01-01 22:33:10.000000000 +0100 +@@ -674,6 +674,8 @@ run_initex() + case "$format" in + metafun) prgswitch=-progname=mpost;; + mptopdf|cont-??) prgswitch=-progname=context;; ++ platex*) prgswitch=-progname=platex;; ++ ptex*) prgswitch=-progname=ptex;; + *) prgswitch=-progname=$format;; + esac +