--- doc/build/generate_web_pages.pl	2014/01/15 04:28:59	1.54
+++ doc/build/generate_web_pages.pl	2014/01/15 05:16:40	1.55
@@ -194,7 +194,7 @@ for (@longlifecycle,@shortlifecycle,@anc
     $content = join '', <SOURCE>;
     close SOURCE;
 
-    $content = replaceText($title, '', '<font face="Arial, Helvetica, sans-serif"><a href="/">Documentation/Download</a> &gt; '.
+    $content = replaceText($title, '', '<font face="Arial, Helvetica, sans-serif"><a href="/">Documentation/Download</a> &raquo; '.
                            '</font><font color="#006600" face="Arial, Helvetica, sans-serif">'.$title,
 			   $content);
     open DEST, '>', $source.'.html';