From be2efb207c03d4b59efbb4c146046c4bf8a64c59 Mon Sep 17 00:00:00 2001 From: Max Hellwig Date: Wed, 1 Jul 2015 13:21:49 +0200 Subject: [PATCH] [IMP] doc: add title to glossary.rst New documentation theme prominently features the page title, which looks terrible on pages missing one (appears as ````). closes #7392 --- doc/glossary.rst | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/glossary.rst b/doc/glossary.rst index 29cf6c4c7e6..7afeebbed35 100644 --- a/doc/glossary.rst +++ b/doc/glossary.rst @@ -1,5 +1,9 @@ :orphan: true +======== +Glossary +======== + .. glossary:: external id