Wicri:Dilib source, module MediaWiki, MediaWikiImportClean
De Wicri Outils
Révision datée du 7 septembre 2013 à 22:02 par imported>Jacques Ducloy
Fichier MediaWikiImportClean.lex
/* -*- coding: utf-8 -*- */
/*
Fichier source géré par Wicri/Outils, page : Wicri:Dilib source, module MediaWiki, MediaWikiImportClean
*/
%START JUMP
%START HEAD_PAGE
%START JUMP_PAGE
%START PAGE
%%
<JUMP>. ;
<JUMP>\n ;
<JUMP>"<page>" {ECHO; BEGIN HEAD_PAGE;}
<HEAD_PAGE>"</title>" {ECHO; BEGIN JUMP_PAGE;}
<HEAD_PAGE>. ECHO;
<HEAD_PAGE>\n ECHO;
<JUMP_PAGE>. ;
<JUMP_PAGE>\n ;
<JUMP_PAGE>"<text"[^>]+">" {putchar('\n'); BEGIN PAGE;}
<PAGE>. ECHO;
<PAGE>\n ECHO;
<PAGE>< putchar('<');
<PAGE>> putchar('>');
<PAGE>" putchar('\"');
<PAGE>"</text>" {printf("\n</page>"); BEGIN JUMP;}
%%
main()
{
BEGIN JUMP;
yylex();
}