diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index ece7495..5c375e6 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -17,6 +17,7 @@ jobs: - uses: actions/checkout@v4 with: fetch-depth: 0 + submodules: true - name: Generate link list run: | for link in $(grep -Rin --include="*.md" -E -o "https?://[a-zA-Z0-9./?#=_%:-]*[^\.]" src); do @@ -40,9 +41,10 @@ jobs: curl -sSL "$url" | tar -xz --directory=./opt/mdbook-mermaid - name: Generate web platform feature page run: | - curl 'https://raw.githubusercontent.com/servo/servo/refs/heads/main/components/config/prefs.rs' -O - curl 'https://raw.githubusercontent.com/servo/servo/refs/heads/main/ports/servoshell/prefs.rs' -o servoshell_prefs.rs - python generate-features.py prefs.rs servoshell_prefs.rs >src/design-documentation/experimental-features.md + python generate-features.py \ + servo/components/config/prefs.rs \ + servo/ports/servoshell/prefs.rs \ + > src/design-documentation/experimental-features.md - name: Build book run: | mdbook build diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..f6e8a64 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,4 @@ +[submodule "servo"] + path = servo + url = https://github.com/servo/servo.git + branch = main diff --git a/servo b/servo new file mode 160000 index 0000000..22d0269 --- /dev/null +++ b/servo @@ -0,0 +1 @@ +Subproject commit 22d026948102b64f384bd72540ab00df1ce2218f