Forum » Help / Editing pages » MediaWiki to Wikidot conversion script for Linux and Unix etc.
Started by: OldPriceanOldPricean
Date: 28 Jun 2020 17:47
Number of posts: 1
rss icon RSS: New posts
The attached script runs in "gawk". Invoke it thus: gawk -f mediatodot.ask [mediawiki source file] > [wikidot source file]
New Post

Bookmark and Share