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

%%

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