From e3cffad85832f617bd3a26f08617b9e3a256ef75 Mon Sep 17 00:00:00 2001 From: Melody Horn Date: Wed, 28 Oct 2020 19:32:43 -0600 Subject: always use up-to-date Sphinx --- .build.yml | 4 +--- README.md | 8 +------- conf.py | 10 ++++++++++ 3 files changed, 12 insertions(+), 10 deletions(-) diff --git a/.build.yml b/.build.yml index ad79d26..5edf955 100644 --- a/.build.yml +++ b/.build.yml @@ -1,6 +1,5 @@ image: debian/testing packages: - - python3-sphinx - python3-pip - poppler-utils - rsync @@ -10,8 +9,7 @@ secrets: - b5cb9b2b-1461-4486-95e1-886451674a89 tasks: - prep: | - sudo pip3 install --progress-bar off recommonmark rinohtype - sudo pip3 install --progress-bar off --upgrade pygments + sudo pip3 install --progress-bar off sphinx recommonmark rinohtype - build-and-test: | cd crowbar-spec make all check diff --git a/README.md b/README.md index 58dde4f..f6d18e0 100644 --- a/README.md +++ b/README.md @@ -1,7 +1 @@ -project home: - -read the spec: - -reference compiler: - -play with the reference compiler: + diff --git a/conf.py b/conf.py index 79e49e1..aef57e6 100644 --- a/conf.py +++ b/conf.py @@ -59,6 +59,16 @@ html_theme_options = { 'font_size': '16px', } +html_sidebars = { + '**': [ + 'about.html', + 'navigation.html', + 'relations.html', + 'searchbox.html', + 'donate.html', + ] +} + # PDF output -- cgit v1.2.3