%{ /* tex2doc.l 20 Jan 90 *------------------------------------------------------- * (c) 1990 by J.Schrod. * Copyright conditions: GNU General Public License */ %} %% ^%%%\ ? ; ^%%%%.*\n ;