docs to tex