]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/commitdiff
fix step numbering
authorJon Dowland <jon@alcopop.org>
Fri, 16 Oct 2009 10:59:27 +0000 (11:59 +0100)
committerJon Dowland <jon@alcopop.org>
Fri, 16 Oct 2009 10:59:27 +0000 (11:59 +0100)
doc/tips/convert_mediawiki_to_ikiwiki.mdwn

index 87b1ebc486224b3476765996b98c8c0756a4e743..1e5b912a93d7f345b20b2b3b00ac3ebebd771967 100644 (file)
@@ -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.