1 2 3
#!/bin/sh test -f "`kpsewhich platex.fmt`" || fmtutil --byfmt platex exec tex -fmt=platex -progname=latex "$@"