Merge pull request #48 from ethereum-optimism/gh-and-edit-buttons

Add github and edit buttons to the docs
ethereum-optimism · Feb 17, 2024 · 9e50e53 · 9e50e53
2 parents 4161020 + 572eada
commit 9e50e53
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/book.toml b/book.toml
@@ -12,6 +12,8 @@ after = ["links"]
 command = "mdbook-mermaid"
 
 [output.html]
+git-repository-url = "https://github.com/ethereum-optimism/specs"
+edit-url-template = "https://github.com/ethereum-optimism/specs/edit/main/{path}"
 default-theme = "ayu"
 additional-js = ["specs/static/solidity.min.js", "specs/static/mermaid.min.js", "specs/static/mermaid-init.js"]