summaryrefslogtreecommitdiff
path: root/doc/tips
diff options
context:
space:
mode:
authorhttp://blog.mithis.net/ <http://blog.mithis.net/@web>2009-10-28 03:47:41 -0400
committerJoey Hess <joey@kitenet.net>2009-10-28 03:47:41 -0400
commit471c04bfd2222dbb8aec9c350a1512213ef711f5 (patch)
tree52b294302b5656cdae58376544afdc28924957c6 /doc/tips
parent57213fa0dbabd52001897d0b63bfb1a8d9d6926a (diff)
Adding information about the media2iki github project.
Diffstat (limited to 'doc/tips')
-rw-r--r--doc/tips/convert_mediawiki_to_ikiwiki.mdwn7
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn
index 1e5b912a9..ab6984494 100644
--- a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn
+++ b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn
@@ -8,6 +8,9 @@ converting some of the Mediawiki conventions into Ikiwiki ones.
The following instructions describe ways of obtaining the current version of
the wiki. We do not yet cover importing the history of edits.
+Another set of instructions and conversion tools (which imports the full history)
+can be found at <http://github.com/mithro/media2iki>
+
## Step 1: Getting a list of pages
The first bit of information you require is a list of pages in the Mediawiki.
@@ -131,5 +134,7 @@ most of the Mediawiki syntax.
[[sabr]] used to explain how to [import MediaWiki content into
git](http://u32.net/Mediawiki_Conversion/index.html?updated), including full
-edit history, but as of 2009/10/16 that site is not available.
+edit history, but as of 2009/10/16 that site is not available. A copy of the
+information found on this website is stored at <http://github.com/mithro/media2iki>
+