From a5ef52094fa31b18f0f425e5720688bc71884e57 Mon Sep 17 00:00:00 2001 From: "David B. Kinder" Date: Wed, 1 Apr 2020 20:31:15 -0700 Subject: [PATCH] doc: remove "Glossary" icon box on home page Adding a big box for the glossary disturbed the home page layout and is overkill for this one document. Adding the glossary to the left navigation menu is sufficient. Signed-off-by: David B. Kinder --- doc/index.rst | 7 ------- 1 file changed, 7 deletions(-) diff --git a/doc/index.rst b/doc/index.rst index 3a7d3316d..1950b1349 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -64,13 +64,6 @@ through an open source platform.

Supported hardware platforms and boards

-
  • - - -

    Glossary
    of Terms

    -
    -

    Glossary of useful terms

    -