nothing but .pdf and .tex