Documentation for tex-seminar.