using .tex instead of .odt for documentation