User:Ciencia Al Poder/Extract page from XML dump

AWK script to dump the text of a wiki page from an XML dump.

It works by passing the title of the page as the "title" variable. Page text is dumped to stdout.

Instructions:


 * 1) Save the script as a file, like "extracttextfromdump.awk"
 * 2) Execute awk or gawk passing it as script, passing the title variable with the title you want to extract (using spaces instead of underscores, if any), and finally the xml dump file(s):

gawk -f extracttextfromdump.awk -v "title=Page title, use spaces instead of underscores" wikidump.xml

Comments are in spanish, sorry!