[m-rev.] diff: Update version number on documentation page

[Paul Bone]

Update version number on documentation page

documentation/include/documentation.inc:
    As above.
---
 documentation/include/documentation.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/documentation/include/documentation.inc b/documentation/include/documentation.inc
index 0c4ab20..dce35ee 100644
--- a/documentation/include/documentation.inc
+++ b/documentation/include/documentation.inc
@@ -1,7 +1,7 @@
 <h2>Documentation</h2>
 <p>
 This page contains documentation for Mercury version
-13.05.1,
+13.05.2,
 <?php /* <a href=<?php echo $root ?>/download/release.html>11.07.1</a>, */ ?>
 and for the latest
 <?php /* <a href=<?php echo $root ?>/download/rotd.html> */ ?>
-- 
1.8.4.3