Container for updatemake.pl, script to update makefile after addition of new .tex source files.