Author: paul
Date: 2007-09-12 22:24:26 +0200 (Wed, 12 Sep 2007)
New Revision: 7827
Log:
r30222@polar: paul | 2007-09-12 14:33:45 -0500
Update renamed-nodes.txt comments.
Modified:
trunk/cy/query-browser/renamed-nodes.txt
trunk/falcon/renamed-nodes.txt
trunk/internals/renamed-nodes.txt
trunk/mysqltest/renamed-nodes.txt
trunk/ndbapi/renamed-nodes.txt
trunk/refman-4.1/renamed-nodes.txt
trunk/refman-5.0/renamed-nodes.txt
trunk/refman-5.1/renamed-nodes.txt
trunk/refman-5.2/renamed-nodes.txt
trunk/ro/administrator/renamed-nodes.txt
Property changes on: trunk
___________________________________________________________________
Name: svk:merge
- 4767c598-dc10-0410-bea0-d01b485662eb:/mysqldoc-local/mysqldoc/trunk:30217
7d8d2c4e-af1d-0410-ab9f-b038ce55645b:/mysqldoc-local/mysqldoc:24865
b5ec3a16-e900-0410-9ad2-d183a3acac99:/mysqldoc-local/mysqldoc/trunk:14218
bf112a9c-6c03-0410-a055-ad865cd57414:/mysqldoc-local/mysqldoc/trunk:20005
+ 4767c598-dc10-0410-bea0-d01b485662eb:/mysqldoc-local/mysqldoc/trunk:30222
7d8d2c4e-af1d-0410-ab9f-b038ce55645b:/mysqldoc-local/mysqldoc:24865
b5ec3a16-e900-0410-9ad2-d183a3acac99:/mysqldoc-local/mysqldoc/trunk:14218
bf112a9c-6c03-0410-a055-ad865cd57414:/mysqldoc-local/mysqldoc/trunk:20005
Modified: trunk/cy/query-browser/renamed-nodes.txt
===================================================================
--- trunk/cy/query-browser/renamed-nodes.txt 2007-09-12 19:34:35 UTC (rev 7826)
+++ trunk/cy/query-browser/renamed-nodes.txt 2007-09-12 20:24:26 UTC (rev 7827)
Changed blocks: 1, Lines Added: 14, Lines Deleted: 13; 1956 bytes
@@ -1,20 +1,21 @@
# 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.
+# This file lists obsolete page IDs and map them onto the current pages.
+# It's used when a page ID changes or a page is removed and requests
+# for the old page need to be redirected.
#
+# Syntax of each line is: old-name new-name [date]
#
+# old-name is the original page ID. new-name is the new page ID.
+# The line causes requests for old-name.html to be mapped to new-name.html.
+# (Redirection is handled by the dev.mysql.com web server.)
+#
+# The date is optional. If given, it indicates when the mapping should
+# be considered "expired": Once the date has been reached, we generate
+# an error page, old-name.html, that is used for requests to the old
+# page, and that informs users of the URL for the new page. They must
+# then manually follow the link.
+#
# Lines beginning with # in column one are interpreted as
# comments and ignored.
#
Modified: trunk/falcon/renamed-nodes.txt
===================================================================
--- trunk/falcon/renamed-nodes.txt 2007-09-12 19:34:35 UTC (rev 7826)
+++ trunk/falcon/renamed-nodes.txt 2007-09-12 20:24:26 UTC (rev 7827)
Changed blocks: 1, Lines Added: 14, Lines Deleted: 13; 1926 bytes
@@ -1,20 +1,21 @@
# 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.
+# This file lists obsolete page IDs and map them onto the current pages.
+# It's used when a page ID changes or a page is removed and requests
+# for the old page need to be redirected.
#
+# Syntax of each line is: old-name new-name [date]
#
+# old-name is the original page ID. new-name is the new page ID.
+# The line causes requests for old-name.html to be mapped to new-name.html.
+# (Redirection is handled by the dev.mysql.com web server.)
+#
+# The date is optional. If given, it indicates when the mapping should
+# be considered "expired": Once the date has been reached, we generate
+# an error page, old-name.html, that is used for requests to the old
+# page, and that informs users of the URL for the new page. They must
+# then manually follow the link.
+#
# Lines beginning with # in column one are interpreted as
# comments and ignored.
#
Modified: trunk/internals/renamed-nodes.txt
===================================================================
--- trunk/internals/renamed-nodes.txt 2007-09-12 19:34:35 UTC (rev 7826)
+++ trunk/internals/renamed-nodes.txt 2007-09-12 20:24:26 UTC (rev 7827)
Changed blocks: 1, Lines Added: 14, Lines Deleted: 13; 1935 bytes
@@ -1,20 +1,21 @@
# 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.
+# This file lists obsolete page IDs and map them onto the current pages.
+# It's used when a page ID changes or a page is removed and requests
+# for the old page need to be redirected.
#
+# Syntax of each line is: old-name new-name [date]
#
+# old-name is the original page ID. new-name is the new page ID.
+# The line causes requests for old-name.html to be mapped to new-name.html.
+# (Redirection is handled by the dev.mysql.com web server.)
+#
+# The date is optional. If given, it indicates when the mapping should
+# be considered "expired": Once the date has been reached, we generate
+# an error page, old-name.html, that is used for requests to the old
+# page, and that informs users of the URL for the new page. They must
+# then manually follow the link.
+#
# Lines beginning with # in column one are interpreted as
# comments and ignored.
#
Modified: trunk/mysqltest/renamed-nodes.txt
===================================================================
--- trunk/mysqltest/renamed-nodes.txt 2007-09-12 19:34:35 UTC (rev 7826)
+++ trunk/mysqltest/renamed-nodes.txt 2007-09-12 20:24:26 UTC (rev 7827)
Changed blocks: 1, Lines Added: 14, Lines Deleted: 13; 1935 bytes
@@ -1,20 +1,21 @@
# 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.
+# This file lists obsolete page IDs and map them onto the current pages.
+# It's used when a page ID changes or a page is removed and requests
+# for the old page need to be redirected.
#
+# Syntax of each line is: old-name new-name [date]
#
+# old-name is the original page ID. new-name is the new page ID.
+# The line causes requests for old-name.html to be mapped to new-name.html.
+# (Redirection is handled by the dev.mysql.com web server.)
+#
+# The date is optional. If given, it indicates when the mapping should
+# be considered "expired": Once the date has been reached, we generate
+# an error page, old-name.html, that is used for requests to the old
+# page, and that informs users of the URL for the new page. They must
+# then manually follow the link.
+#
# Lines beginning with # in column one are interpreted as
# comments and ignored.
#
Modified: trunk/ndbapi/renamed-nodes.txt
===================================================================
--- trunk/ndbapi/renamed-nodes.txt 2007-09-12 19:34:35 UTC (rev 7826)
+++ trunk/ndbapi/renamed-nodes.txt 2007-09-12 20:24:26 UTC (rev 7827)
Changed blocks: 1, Lines Added: 14, Lines Deleted: 13; 1926 bytes
@@ -1,20 +1,21 @@
# 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.
+# This file lists obsolete page IDs and map them onto the current pages.
+# It's used when a page ID changes or a page is removed and requests
+# for the old page need to be redirected.
#
+# Syntax of each line is: old-name new-name [date]
#
+# old-name is the original page ID. new-name is the new page ID.
+# The line causes requests for old-name.html to be mapped to new-name.html.
+# (Redirection is handled by the dev.mysql.com web server.)
+#
+# The date is optional. If given, it indicates when the mapping should
+# be considered "expired": Once the date has been reached, we generate
+# an error page, old-name.html, that is used for requests to the old
+# page, and that informs users of the URL for the new page. They must
+# then manually follow the link.
+#
# Lines beginning with # in column one are interpreted as
# comments and ignored.
#
Modified: trunk/refman-4.1/renamed-nodes.txt
===================================================================
--- trunk/refman-4.1/renamed-nodes.txt 2007-09-12 19:34:35 UTC (rev 7826)
+++ trunk/refman-4.1/renamed-nodes.txt 2007-09-12 20:24:26 UTC (rev 7827)
Changed blocks: 1, Lines Added: 14, Lines Deleted: 13; 1938 bytes
@@ -1,20 +1,21 @@
# 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.
+# This file lists obsolete page IDs and map them onto the current pages.
+# It's used when a page ID changes or a page is removed and requests
+# for the old page need to be redirected.
#
+# Syntax of each line is: old-name new-name [date]
#
+# old-name is the original page ID. new-name is the new page ID.
+# The line causes requests for old-name.html to be mapped to new-name.html.
+# (Redirection is handled by the dev.mysql.com web server.)
+#
+# The date is optional. If given, it indicates when the mapping should
+# be considered "expired": Once the date has been reached, we generate
+# an error page, old-name.html, that is used for requests to the old
+# page, and that informs users of the URL for the new page. They must
+# then manually follow the link.
+#
# Lines beginning with # in column one are interpreted as
# comments and ignored.
#
Modified: trunk/refman-5.0/renamed-nodes.txt
===================================================================
--- trunk/refman-5.0/renamed-nodes.txt 2007-09-12 19:34:35 UTC (rev 7826)
+++ trunk/refman-5.0/renamed-nodes.txt 2007-09-12 20:24:26 UTC (rev 7827)
Changed blocks: 1, Lines Added: 14, Lines Deleted: 13; 1938 bytes
@@ -1,20 +1,21 @@
# 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.
+# This file lists obsolete page IDs and map them onto the current pages.
+# It's used when a page ID changes or a page is removed and requests
+# for the old page need to be redirected.
#
+# Syntax of each line is: old-name new-name [date]
#
+# old-name is the original page ID. new-name is the new page ID.
+# The line causes requests for old-name.html to be mapped to new-name.html.
+# (Redirection is handled by the dev.mysql.com web server.)
+#
+# The date is optional. If given, it indicates when the mapping should
+# be considered "expired": Once the date has been reached, we generate
+# an error page, old-name.html, that is used for requests to the old
+# page, and that informs users of the URL for the new page. They must
+# then manually follow the link.
+#
# Lines beginning with # in column one are interpreted as
# comments and ignored.
#
Modified: trunk/refman-5.1/renamed-nodes.txt
===================================================================
--- trunk/refman-5.1/renamed-nodes.txt 2007-09-12 19:34:35 UTC (rev 7826)
+++ trunk/refman-5.1/renamed-nodes.txt 2007-09-12 20:24:26 UTC (rev 7827)
Changed blocks: 1, Lines Added: 14, Lines Deleted: 13; 1938 bytes
@@ -1,20 +1,21 @@
# 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.
+# This file lists obsolete page IDs and map them onto the current pages.
+# It's used when a page ID changes or a page is removed and requests
+# for the old page need to be redirected.
#
+# Syntax of each line is: old-name new-name [date]
#
+# old-name is the original page ID. new-name is the new page ID.
+# The line causes requests for old-name.html to be mapped to new-name.html.
+# (Redirection is handled by the dev.mysql.com web server.)
+#
+# The date is optional. If given, it indicates when the mapping should
+# be considered "expired": Once the date has been reached, we generate
+# an error page, old-name.html, that is used for requests to the old
+# page, and that informs users of the URL for the new page. They must
+# then manually follow the link.
+#
# Lines beginning with # in column one are interpreted as
# comments and ignored.
#
Modified: trunk/refman-5.2/renamed-nodes.txt
===================================================================
--- trunk/refman-5.2/renamed-nodes.txt 2007-09-12 19:34:35 UTC (rev 7826)
+++ trunk/refman-5.2/renamed-nodes.txt 2007-09-12 20:24:26 UTC (rev 7827)
Changed blocks: 1, Lines Added: 14, Lines Deleted: 13; 1938 bytes
@@ -1,20 +1,21 @@
# 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.
+# This file lists obsolete page IDs and map them onto the current pages.
+# It's used when a page ID changes or a page is removed and requests
+# for the old page need to be redirected.
#
+# Syntax of each line is: old-name new-name [date]
#
+# old-name is the original page ID. new-name is the new page ID.
+# The line causes requests for old-name.html to be mapped to new-name.html.
+# (Redirection is handled by the dev.mysql.com web server.)
+#
+# The date is optional. If given, it indicates when the mapping should
+# be considered "expired": Once the date has been reached, we generate
+# an error page, old-name.html, that is used for requests to the old
+# page, and that informs users of the URL for the new page. They must
+# then manually follow the link.
+#
# Lines beginning with # in column one are interpreted as
# comments and ignored.
#
Modified: trunk/ro/administrator/renamed-nodes.txt
===================================================================
--- trunk/ro/administrator/renamed-nodes.txt 2007-09-12 19:34:35 UTC (rev 7826)
+++ trunk/ro/administrator/renamed-nodes.txt 2007-09-12 20:24:26 UTC (rev 7827)
Changed blocks: 1, Lines Added: 14, Lines Deleted: 13; 1956 bytes
@@ -1,20 +1,21 @@
# 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.
+# This file lists obsolete page IDs and map them onto the current pages.
+# It's used when a page ID changes or a page is removed and requests
+# for the old page need to be redirected.
#
+# Syntax of each line is: old-name new-name [date]
#
+# old-name is the original page ID. new-name is the new page ID.
+# The line causes requests for old-name.html to be mapped to new-name.html.
+# (Redirection is handled by the dev.mysql.com web server.)
+#
+# The date is optional. If given, it indicates when the mapping should
+# be considered "expired": Once the date has been reached, we generate
+# an error page, old-name.html, that is used for requests to the old
+# page, and that informs users of the URL for the new page. They must
+# then manually follow the link.
+#
# Lines beginning with # in column one are interpreted as
# comments and ignored.
#
| Thread |
|---|
| • svn commit - mysqldoc@docsrva: r7827 - in trunk: . cy/query-browser falcon internals mysqltest ndbapi refman-4.1 refman-5.0 refman-5.1 refman-5.2 ro/a... | paul | 12 Sep |
