add tool to generate tex documentation