Update website for 6.3.24.

[~andy/fetchmail] / rcfile_l.l

diff --git a/rcfile_l.l b/rcfile_l.l
index 6d64d041b3e42ad3d4182d9a5c836b417c5a546d..c7e49fea6999c97e6a17982940f19a8255838937 100644 (file)
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -41,11 +41,6 @@ int prc_lineno = 1;
                        return STRING;
                }
 
-"*"            {
-                       SETSTATE(0);
-                       return WILDCARD;
-               }
-
 <NAME>[^=;:, \t\r\n]+  {
                        char *in = xstrdup(yytext);
                        escapes(in, in);
@@ -177,6 +172,7 @@ sslkey              { return SSLKEY; }
 sslcert                { return SSLCERT; }
 sslproto       { return SSLPROTO; }
 sslcertck      { return SSLCERTCK; }
+sslcertfile    { return SSLCERTFILE; }
 sslcertpath    { return SSLCERTPATH; }
 sslcommonname  { return SSLCOMMONNAME; }
 sslfingerprint { return SSLFINGERPRINT; }