用waf管理TeX文件