Scripting that makes everyday TeX-ing easier