Skip to content

Commit 1003f15

Browse files
authored
widoco simpler link (#937)
Fix widoco link
1 parent 00d6f90 commit 1003f15

2 files changed

Lines changed: 3 additions & 3 deletions

File tree

ontopy/ontodoc_rst.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -749,7 +749,7 @@ def write_conf_template( ## pylint: disable=too-many-locals,too-many-statements
749749
owner, repo = github_repository.split("/", 1)
750750
github_url = f"https://github.com/{owner}/{repo}"
751751
widoco_url = (
752-
f"https://{owner}.github.io/{repo}/widoco/widoco/index-en.html"
752+
f"https://{owner}.github.io/{repo}/widoco/index-en.html"
753753
)
754754
else:
755755
github_url = (
@@ -758,7 +758,7 @@ def write_conf_template( ## pylint: disable=too-many-locals,too-many-statements
758758
)
759759
widoco_url = (
760760
"https://emmo-repo.github.io/"
761-
f"domain-{md.ontology.name.lower()}/widoco/widoco/index-en.html"
761+
f"domain-{md.ontology.name.lower()}/widoco/index-en.html"
762762
)
763763
# pylint: disable=line-too-long
764764
content = f"""\

ontopy/ontokit/setuptemplates/workflows/cd_ghpages.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -134,7 +134,7 @@ jobs:
134134

135135
# Copy widoco documentation to public, what to do with it is not yet decided.
136136
- name: Copy widoco documentation to public
137-
run: cp -r build/widoco public/widoco
137+
run: cp -r build/widoco public
138138

139139
- name: Deploy to GitHub Pages
140140
uses: JamesIves/github-pages-deploy-action@v4

0 commit comments

Comments
 (0)