Skip to content

Commit ca04bf3

Browse files
authored
Merge pull request #234 from r-devel/docs/devel-site
use different url when deploying from devel vs main
2 parents 92071a6 + 698b288 commit ca04bf3

File tree

2 files changed

+16
-0
lines changed

2 files changed

+16
-0
lines changed

.github/workflows/build-mkdocs-website.yml

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,21 @@ jobs:
3131
- name: Install dependencies
3232
run: pip install mkdocs mkdocs-material[imaging]
3333

34+
- name: Determine deployment path
35+
id: path
36+
run: |
37+
if [[ "${{ github.ref_name }}" == "main" ]]; then
38+
echo "url=https://contributor.r-project.org/r-dev-env" >> "$GITHUB_OUTPUT"
39+
else
40+
echo "url=https://contributor.r-project.org/r-dev-env/devel" >> "$GITHUB_OUTPUT"
41+
fi
42+
43+
- name: Modify site_url in mkdocs.yml
44+
run: |
45+
echo "Setting site_url to ${{ steps.path.outputs.url }}"
46+
sed -i "s|^site_url:.*|site_url: '${{ steps.path.outputs.url }}'|" mkdocs.yml
47+
48+
3449
- name: Build MkDocs
3550
run: mkdocs build
3651

mkdocs.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
site_name: R Devel Container Docs
2+
site_url: ''
23
repo_name: r-devel/r-dev-env
34
repo_url: https://github.com/r-devel/r-dev-env
45
nav:

0 commit comments

Comments
 (0)