Skip to content

Commit

Permalink
Address doc generation not finding git repo in CI
Browse files Browse the repository at this point in the history
  • Loading branch information
victorreijgwart committed Aug 16, 2024
1 parent 83a94fc commit 35d7566
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion docs/conf.py
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
import os.path
from sys import argv
from dataclasses import asdict
from sphinxawesome_theme import ThemeOptions
Expand Down Expand Up @@ -127,7 +128,7 @@
highlight_language = 'cpp'

# Provide a short syntax to link to files in the repository
repo = git.Repo(search_parent_directories=True)
repo = git.Repo(os.path.abspath(__file__), search_parent_directories=True)
sha = repo.head.object.hexsha
extlinks = {
"gh_file": (f"https://github.com/ethz-asl/wavemap/tree/{sha}/%s", "%s"),
Expand Down

0 comments on commit 35d7566

Please sign in to comment.