svn commit - mysqldoc@docsrva: r3863 - in trunk: . mysqltest

[paul]

Author: paul
Date: 2006-11-06 19:05:10 +0100 (Mon, 06 Nov 2006)
New Revision: 3863

Log:
 r15335@polar:  paul | 2006-11-06 12:04:14 -0600
 Add renamed-nodes.txt in anticipation of deleting material
 on shell version of mysql-test-run.


Added:
   trunk/mysqltest/renamed-nodes.txt

Property changes on: trunk
___________________________________________________________________
Name: svk:merge
   - 4767c598-dc10-0410-bea0-d01b485662eb:/mysqldoc-local/mysqldoc/trunk:15317
7d8d2c4e-af1d-0410-ab9f-b038ce55645b:/mysqldoc-local/mysqldoc:11675
b5ec3a16-e900-0410-9ad2-d183a3acac99:/mysqldoc-local/mysqldoc/trunk:14218
bf112a9c-6c03-0410-a055-ad865cd57414:/mysqldoc-local/mysqldoc/trunk:11301
   + 4767c598-dc10-0410-bea0-d01b485662eb:/mysqldoc-local/mysqldoc/trunk:15335
7d8d2c4e-af1d-0410-ab9f-b038ce55645b:/mysqldoc-local/mysqldoc:11675
b5ec3a16-e900-0410-9ad2-d183a3acac99:/mysqldoc-local/mysqldoc/trunk:14218
bf112a9c-6c03-0410-a055-ad865cd57414:/mysqldoc-local/mysqldoc/trunk:11301


Added: trunk/mysqltest/renamed-nodes.txt
===================================================================
--- trunk/mysqltest/renamed-nodes.txt	                        (rev 0)
+++ trunk/mysqltest/renamed-nodes.txt	2006-11-06 18:05:10 UTC (rev 3863)
Changed blocks: 1, Lines Added: 20, Lines Deleted: 0; 1173 bytes

@@ -0,0 +1,20 @@
+# renamed-nodes.txt
+#
+# This file lists page name changes for online multi-page documents.
+# These are documents that are built with a command of the form "make
+# docname.html-web".  For such documents, page names correspond to
+# the root element id in the DocBook source for the page. For example,
+# <section id="this-is-a-page"> generates a page named this-is-a-page.html.
+# If the section id changes, list the old and new id values in this
+# file so that the mysql.com web server knows how to map requests for
+# the old page to the new page. Each mapping line lists the old id
+# followed by the new id, separated by a space.
+# Example: my-old-page-name my-new-page-name
+# When the .html-web target for the document is built and transferred
+# to the web server host, this file is packaged with the output HTML
+# pages.
+#
+#
+# Lines beginning with # in column one are interpreted as
+# comments and ignored.
+#