Export google docs to tex files