tex files for documentation