Skip to content

Instantly share code, notes, and snippets.

@clngn
Created January 19, 2014 13:43
Show Gist options
  • Save clngn/8505180 to your computer and use it in GitHub Desktop.
Save clngn/8505180 to your computer and use it in GitHub Desktop.
platex2pdf
#!/bin/bash
export PATH=/usr/texbin:$PATH
export name=$1
if platex $1 ; then
platex $1
dvipdfmx ${name%.*}
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment