# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1340815487 -7200
# Node ID 1c7852e6a39a12aa824d81954dae3fd8bbc1e6b5
# Parent  e149c0e252e01275bb5b27a37caefdc622a617d7
small refinement to generated javadoc

diff -r e149c0e252e0 -r 1c7852e6a39a mx/commands.py
--- a/mx/commands.py	Wed Jun 27 18:21:49 2012 +0200
+++ b/mx/commands.py	Wed Jun 27 18:44:47 2012 +0200
@@ -1059,7 +1059,7 @@
         mx.log('Could not find footer section in ' + path)
         return
 
-    content = chunk1.replace(content, '<div class="header"><div class="subTitle"><div class="block">' + chunk2.text + topLink +'</div></div></div>')
+    content = chunk1.replace(content, '<div class="header"><div class="subTitle"><div class="block">' + topLink + chunk2.text +'</div></div></div>')
     content = chunk2.replace(content, '')
     
     with open(path, 'w') as fp:
@@ -1094,8 +1094,8 @@
             shutil.rmtree(unified)
         mx.javadoc(['--base', args.base,
                     '--unified',
-                    '--arg', '@-windowtitle', '--arg', '@Unified Graal Javadoc',
-                    '--arg', '@-doctitle', '--arg', '@Unified Graal Javadoc',
+                    '--arg', '@-windowtitle', '--arg', '@Graal OpenJDK Project Documentation',
+                    '--arg', '@-doctitle', '--arg', '@Graal OpenJDK Project Documentation',
                     '--arg', '@-overview', '--arg', '@' + join(_graal_home, 'graal', 'overview.html')])
         os.rename(join(args.base, 'javadoc'), unified)
 
@@ -1146,7 +1146,7 @@
                 topLink = ''
                 if top != path:
                     link = os.path.relpath(join(args.base, 'all', 'index.html'), dirname(path))
-                    topLink = '<p><a href="' + link + '", target="_top">[return to the unified Graal javadoc]</a></p>'
+                    topLink = '<p><a href="' + link + '", target="_top">[return to the overall Graal documentation]</a></p>'
                 _fix_overview_summary(path, topLink)
     
     print 'Created website - root is ' + join(unified, 'index.html')