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

%%

^%%%\ ?   ;
^%%%%.*\n ;