doc1.tex
doc2.tex
