Fixed documentation dumping scripts.

[simantics/platform.git] / releng / doc / release.md

diff --git a/releng/doc/release.md b/releng/doc/release.md
index b21bbeec537a78e77cb2307eb6a20d4898ab86f9..23badbcf447fc9d7b7bc96143f60708816d4b038 100644 (file)
--- a/releng/doc/release.md
+++ b/releng/doc/release.md
@@ -132,14 +132,13 @@ When the release branches are ready for the release, tag them with the tag `vx.y
 > Note The -m argument must be supplied to create an [annotated tag](https://git-scm.com/book/en/v2/Git-Basics-Tagging).\r
 > Only annotated or signed tags can be pushed to Gerrit.\r
 \r
-## Tag documentation wikis\r
+## Dump documentation wikis\r
 \r
-Tag documentation wiki using [tag.sh](./tag.sh) script.\r
+Dump documentation wiki using [dump-wikis.sh](./dump-wikis.sh) script.\r
 \r
-The wiki documentation is mainly in MediaWiki installations. The only sane way to tag the documentation is to clone it:\r
-* Copy the wiki installation from wiki to ${release_version}/wiki\r
-* Copy the trunk wiki MySQL database into a new version\r
-* Reconfigure the tagged wiki (LocalSettings.php) to use the copied database and no longer allow any edits\r
+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.\r
 \r
 ## Compile change log entry\r
 \r