aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.build.yml4
-rw-r--r--README.md8
-rw-r--r--conf.py10
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: <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>
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