-<h2>Tag documentation wikis</h2>\r
-<p>Tag documentation wiki using <a href="./tag.sh">tag.sh</a> script.</p>\r
-<p>The wiki documentation is mainly in MediaWiki installations. The only sane way to tag the documentation is to clone it:</p>\r
-<ul>\r
-<li>Copy the wiki installation from wiki to ${release_version}/wiki</li>\r
-<li>Copy the trunk wiki MySQL database into a new version</li>\r
-<li>Reconfigure the tagged wiki (LocalSettings.php) to use the copied database and no longer allow any edits</li>\r
-</ul>\r
+<h2>Dump documentation wikis</h2>\r
+<p>Dump documentation wiki using <a href="./dump-wikis.sh">dump-wikis.sh</a> script.</p>\r
+<p>The wiki documentation is mainly in MediaWiki installations. The only\r
+sane way to tag the documentation is to back up the mysql database\r
+backing the wiki.</p>\r