Skip to content

Commit dad9944

Browse files
committed
Specify built from the release branch
1 parent 58973a0 commit dad9944

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/website.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ jobs:
7373
run: |
7474
. venv/bin/activate
7575
cd firedrake-repo/docs
76-
make html
76+
make SPHINXOPTS="-t release" html
7777
make latex
7878
make latexpdf
7979

0 commit comments

Comments
 (0)