Update docs, add .tex