diff --git a/3pdflatex b/3pdflatex new file mode 100755 index 0000000..eed6263 --- /dev/null +++ b/3pdflatex @@ -0,0 +1,5 @@ +#!/bin/sh + +file="$1" + +pdflatex "$file" && pdflatex "$file" && pdflatex "$file"