File tree Expand file tree Collapse file tree 3 files changed +29
-6
lines changed Expand file tree Collapse file tree 3 files changed +29
-6
lines changed Original file line number Diff line number Diff line change 2
2
_build
3
3
playground.ipynb
4
4
auto_examples
5
+ presentations
Original file line number Diff line number Diff line change 1
- # outline for a myst_nb project with sphinx
2
- # build with: sphinx-build -nW --keep-going -b html . ./_build/html
1
+ import pathlib
2
+ import subprocess
3
+
4
+ ##
5
+ # Built presentation in sphinx
6
+ ##
7
+
8
+ cwd = pathlib .Path (__file__ ).parent
9
+ presentation_file = cwd / "explanation" / "pldi_2023_presentation.ipynb"
10
+ output_dir = cwd / "presentations"
11
+
12
+ subprocess .run (
13
+ [
14
+ "jupyter" ,
15
+ "nbconvert" ,
16
+ str (presentation_file ),
17
+ "--to" ,
18
+ "slides" ,
19
+ "--output-dir" ,
20
+ str (output_dir ),
21
+ ],
22
+ check = True ,
23
+ )
24
+
25
+ html_extra_path = ["presentations/pldi_2023_presentation.slides.html" ]
3
26
4
27
# load extensions
5
28
extensions = [
Original file line number Diff line number Diff line change 11
11
"tags" : []
12
12
},
13
13
"source" : [
14
- " ```bash \n " ,
15
- " jupyter nbconvert pldi_2023_presentation.ipynb --to slides\n " ,
14
+ " ```{eval-rst} \n " ,
15
+ " `Presentation as HTML <../ pldi_2023_presentation.slides.html>`_ \n " ,
16
16
" ```"
17
17
]
18
18
},
27
27
"tags" : []
28
28
},
29
29
"source" : [
30
- " # `egglog` in Python... \n " ,
30
+ " # `egglog` in Python: EGRAPHS Workshop - PLDI '23 \n " ,
31
31
" \n " ,
32
- " *EGRAPHS Workshop - PLDI '23*<br>\n " ,
33
32
" *Saul Shanabrook*"
34
33
]
35
34
},
You can’t perform that action at this time.
0 commit comments