From d6b203f013890cc25f5454696805bc85c1ca2482 Mon Sep 17 00:00:00 2001
From: José Padilla
Date: Tue, 28 Oct 2014 17:40:29 -0400
Subject: Use page_title instead of title in docs theme

---
 docs/theme/base.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/theme/base.html')
diff --git a/docs/theme/base.html b/docs/theme/base.html
index 45e19cf3..943a60e4 100644
--- a/docs/theme/base.html
+++ b/docs/theme/base.html
@@ -2,7 +2,7 @@
 <html lang="en">
 <head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
     <meta charset="utf-8">
-    <title>{{ title }}</title>
+    <title>{{ page_title }}</title>
     <link href="{{ base_url }}/img/favicon.ico" rel="icon" type="image/x-icon">
     <link rel="canonical" href="{{ canonical_url }}"/>
     <meta name="viewport" content="width=device-width, initial-scale=1.0">
-- 
cgit v1.2.3

