File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change 36
36
- name : Install the project
37
37
run : uv sync --locked --all-extras --dev
38
38
- name : Build sphinx site
39
- run : uv run make playground
39
+ run : uv run make build- playground
40
40
- name : Copy CNAME from root into build
41
41
run : |
42
42
if [ -f CNAME ]; then
Original file line number Diff line number Diff line change @@ -16,15 +16,15 @@ help:
16
16
17
17
# Catch-all target: route all unknown targets to Sphinx using the new
18
18
# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
19
- % : Makefile
20
- @$(SPHINXBUILD ) -M $@ " $( SOURCEDIR) " " $( BUILDDIR) " $(SPHINXOPTS ) $(O )
19
+ # %: Makefile
20
+ # @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
21
21
22
22
23
23
.PHONY : build-playground
24
24
build-playground : check-jq
25
25
@echo " Building playground..."
26
- rm -rf public/lite
27
- jupyter lite build
26
+ rm -rf public/lite && \
27
+ jupyter lite build && \
28
28
python tools/patch_jlite_json.py \
29
29
public/lite/jupyter-lite.json && \
30
30
cp -frpv pyodide public/lite/
You can’t perform that action at this time.
0 commit comments