Added checking of tex documents on the makefile