Skip to content

Commit bbd1bda

Browse files
update generator
1 parent ced1cdb commit bbd1bda

File tree

2 files changed

+11
-7
lines changed

2 files changed

+11
-7
lines changed

.github/workflows/documentation.yml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -21,9 +21,9 @@ jobs:
2121
- uses: julia-actions/cache@v2
2222
- name: Install dependencies
2323
run: julia --project=docs/ -e 'using Pkg; Pkg.instantiate()'
24-
- name: Setup symlink
25-
run: ln -s ../../class01/class01.md class01.md
26-
working-directory: docs/src
24+
# - name: Setup symlink
25+
# run: ln -s ../../class01/class01.md class01.md
26+
# working-directory: docs/src
2727
- name: Build and deploy
2828
env:
2929
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

docs/make.jl

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -10,9 +10,11 @@ plutos = [
1010
joinpath(repo_dir, "class01", "background_materials", "basics_math.jl"),
1111
]
1212

13-
symlink(joinpath(repo_dir, "class01", "class01.md"),
14-
joinpath(repo_dir, "docs", "src", "class01.md")
15-
)
13+
if !isdir(build_dir)
14+
symlink(joinpath(repo_dir, "class01"),
15+
joinpath(repo_dir, "docs", "src", "class01")
16+
)
17+
end
1618

1719
makedocs(
1820
sitename = "LearningToControlClass",
@@ -28,10 +30,12 @@ makedocs(
2830
),
2931
pages = [
3032
"Home" => "index.md",
31-
"Class 1" => "class01.md",
33+
"Class 1" => ["class01/class01.md"],
3234
],
3335
)
3436

37+
rm(joinpath(repo_dir, "docs", "src", "class01"), force=true)
38+
3539
s = Pluto.ServerSession();
3640
for pluto in plutos
3741
nb = Pluto.SessionActions.open(s, pluto; run_async=false)

0 commit comments

Comments
 (0)