Added doc/*.tex.