doc2tex