Add version numbers to doc titles to prevent duplicate titles between versions. ...
authorThom Brown <thom@linux.com>
Thu, 17 May 2012 19:49:33 +0000 (15:49 -0400)
committerThom Brown <thom@linux.com>
Thu, 17 May 2012 19:49:33 +0000 (15:49 -0400)
templates/docs/docspage.html

index 106c584d99fb3435ac0d0b4763b996216a0fc8ea..d68dafe56077b75e0fce2a340337ac9a10ef982e 100644 (file)
@@ -1,7 +1,7 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en" dir="ltr">
 <head>
-    <title>PostgreSQL: Documentation: Manuals: {{page.title}}</title>
+    <title>PostgreSQL: Documentation: {{doc_nav_version}}: {{page.title}}</title>
     <style type="text/css" media="screen" title="Normal Text">@import url("/media/css/docs.css");</style>
     <link rel="alternate stylesheet" media="screen" href="/media/css/docs_large.css" type="text/css" title="Large Text" />
     <script type="text/javascript" src="/media/js/styleswitcher.js"></script>