Add tex file and scripts to automate generation.