On Thursday, June 16, 2016 at 4:10:05 PM UTC-6, Lex Trotman wrote: > > Don't you have a backup of the database? Can you use that? > > Since this is the Asciidoc list you might be better off asking on the > mediawiki list (just don't tell them you are converting away from > Mediawiki :) >
Lex, I do have a backup, but I have many pages on the site and I just want to extract several small distinct subsets of them. The backup might be the best way, but I want the result of something similar to a crawl and I wondered if the asciidoc crowd had solved this sort of problem already... Thanks, James > > Cheers > Lex > > On 17 June 2016 at 04:38, James Gallagher <[email protected] > <javascript:>> wrote: > > Hi, > > > > I am working on converting documentation originally written on a > MediaWIki > > site we run to asciidoc. So far I'm working with fairly small set of > pages > > and using pandoc page-by-page. Is there a way I can extract pages from > the > > MediaWiki database (mySQL) and then convert those (and in the process, > skip > > converting things like the mediawiki footer which I'll have to edit)? > I'm > > particularly interested in extracting the collection of linked pages > > automatically since following links by hand is error prone. > > > > Thanks, > > James > > > > -- > > You received this message because you are subscribed to the Google > Groups > > "asciidoc" group. > > To unsubscribe from this group and stop receiving emails from it, send > an > > email to [email protected] <javascript:>. > > To post to this group, send email to [email protected] > <javascript:>. > > Visit this group at https://groups.google.com/group/asciidoc. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "asciidoc" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/asciidoc. For more options, visit https://groups.google.com/d/optout.
