summaryrefslogtreecommitdiff
path: root/Docs/mysql.info
diff options
context:
space:
mode:
Diffstat (limited to 'Docs/mysql.info')
-rw-r--r--Docs/mysql.info3
1 files changed, 1 insertions, 2 deletions
diff --git a/Docs/mysql.info b/Docs/mysql.info
index 95d97438993..684c0d23437 100644
--- a/Docs/mysql.info
+++ b/Docs/mysql.info
@@ -8,5 +8,4 @@ The MariaDB manual can be found at:
http://kb.askmonty.org/
The MySQL Reference Manual is available in various formats on
-http://dev.mysql.com/doc; if you're interested in the DocBook XML
-sources go to http://svn.mysql.com.
+http://dev.mysql.com/doc.