diff options
| author | Jon Dowland <jon@alcopop.org> | 2009-10-16 11:59:27 +0100 |
|---|---|---|
| committer | Jon Dowland <jon@alcopop.org> | 2009-10-16 11:59:27 +0100 |
| commit | 7a9512918d981762016bdaf7e6196fe2d46c10c7 (patch) | |
| tree | e72c3e96802072be008c1bfe20a8770b9761d921 /doc/tips | |
| parent | f6d08ceb358f6d5e51c54ab1b9e90cc4a86fad37 (diff) | |
fix step numbering
Diffstat (limited to 'doc/tips')
| -rw-r--r-- | doc/tips/convert_mediawiki_to_ikiwiki.mdwn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn index 87b1ebc48..1e5b912a9 100644 --- a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn +++ b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn @@ -100,7 +100,7 @@ the result. It is possible to extract the page data from the database with some well-crafted queries. -## Step 2: format conversion +## Step 3: format conversion The next step is to convert Mediawiki conventions into Ikiwiki ones. @@ -122,7 +122,7 @@ into an ikiwiki tag name using a script such as sys.stdout.write(re.sub(pattern, manglecat, line)) else: sys.stdout.write(line) -## Step 3: Mediawiki plugin +## Step 4: Mediawiki plugin The [[plugins/contrib/mediawiki]] plugin can be used by ikiwiki to interpret most of the Mediawiki syntax. |