From f15a942835134ac730a091dd4d3c62b348ea7a42 Mon Sep 17 00:00:00 2001
From: Tom Henderson <tomh@tomh.org>
Date: Sun, 28 Jun 2020 11:37:04 -0700
Subject: [PATCH] Add html_title tag for tutorial

---
 doc/tutorial/source/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/tutorial/source/conf.py b/doc/tutorial/source/conf.py
index 6d909b75e..79df06d0e 100644
--- a/doc/tutorial/source/conf.py
+++ b/doc/tutorial/source/conf.py
@@ -148,6 +148,7 @@ html_theme_path = ['../..']
 # "<project> v<release> documentation" by default.
 #
 # html_title = 'est vtest'
+html_title = 'Tutorial'
 
 # A shorter title for the navigation bar.  Default is the same as html_title.
 #