Finished tex doc