File tree 3 files changed +10
-2
lines changed 3 files changed +10
-2
lines changed Original file line number Diff line number Diff line change @@ -32,12 +32,13 @@ jobs:
32
32
MDBOOK_VERSION : 0.4.36
33
33
steps :
34
34
- uses : actions/checkout@v4
35
- - name : Install mdBook and mdbook-admonish
35
+ - name : Install mdBook and preprocessors
36
36
run : |
37
37
curl --proto '=https' --tlsv1.2 https://sh.rustup.rs -sSf -y | sh
38
38
rustup update
39
39
cargo install --version ${MDBOOK_VERSION} mdbook
40
- # cargo install mdbook-admonish
40
+ cargo install mdbook-admonish
41
+ cargo install mdbook-pagetoc
41
42
- name : Setup Pages
42
43
id : pages
43
44
uses : actions/configure-pages@v5
Original file line number Diff line number Diff line change 1
1
/.idea
2
2
3
+ # ignored generated pagetoc files from mdbook-pagetoc
4
+ theme /pagetoc.css
5
+ theme /pagetoc.js
6
+
3
7
# for local testing
4
8
book
Original file line number Diff line number Diff line change @@ -4,7 +4,10 @@ language = "en"
4
4
multilingual = false
5
5
src = " src"
6
6
7
+ [preprocessor .pagetoc ]
7
8
[output .html ]
9
+ additional-css = [" theme/pagetoc.css" ]
10
+ additional-js = [" theme/pagetoc.js" ]
8
11
no-section-label = true
9
12
git-repository-url = " https://github.com/pygame-web/pygame-web.github.io"
10
13
git-repository-icon = " fa-github"
You can’t perform that action at this time.
0 commit comments