summaryrefslogtreecommitdiff
path: root/doc/tips
diff options
context:
space:
mode:
Diffstat (limited to 'doc/tips')
-rw-r--r--doc/tips/convert_mediawiki_to_ikiwiki.mdwn5
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn
index 3f771ed9b..4a750882b 100644
--- a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn
+++ b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn
@@ -53,7 +53,7 @@ Once you have a list of page names, you can fetch the data for each page.
### Method 1: via HTTP and `action=raw`
-You need to create two derived strings from the page titles already: the
+You need to create two derived strings from the page titles: the
destination path for the page and the source URL. Assuming `$pagename`
contains a pagename obtained above, and `$wiki` contains the URL to your
mediawiki's `index.php` file:
@@ -64,6 +64,9 @@ mediawiki's `index.php` file:
mkdir -p `dirname "$dest"`
wget -q "$wiki?title=$src&action=raw" -O "$dest"
+You may need to add more conversions here depending on the precise page titles
+used in your wiki.
+
### Method 2: via HTTP and `Special:Export`
Mediawiki also has a special page `Special:Export` which can be used to obtain