diff options
-rw-r--r-- | .build.yml | 4 | ||||
-rw-r--r-- | README.md | 8 | ||||
-rw-r--r-- | conf.py | 10 |
3 files changed, 12 insertions, 10 deletions
@@ -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 @@ -1,7 +1 @@ -project home: <https://crowbar-lang.org> <https://sr.ht/~boringcactus/crowbar-lang/> - -read the spec: <https://crowbar-lang.org> <https://crowbar-lang.org/spec.pdf> <https://man.sr.ht/~boringcactus/crowbar-spec/> - -reference compiler: <https://git.sr.ht/~boringcactus/crowbar-reference-compiler> - -play with the reference compiler: <https://play.crowbar-lang.org> +<https://crowbar-lang.org> @@ -59,6 +59,16 @@ html_theme_options = { 'font_size': '16px', } +html_sidebars = { + '**': [ + 'about.html', + 'navigation.html', + 'relations.html', + 'searchbox.html', + 'donate.html', + ] +} + # PDF output |