Convert a dokuwiki to mediawiki

To convert a dokuwiki installation to a mediawiki installation:

Mediawiki

• install mediawiki
• create a page hello with the sole content hello world.
• export the hello page
• save the export file to export1 and export2
• edit export1, delete all content starting from hello world including
• edit export2, delete all content till hello world including
• for every dokuwiki page in data/pages, do a

cat export1 page export2 > import.xml