From 572eada4332354ddd4bbeaf7daa707750a29f013 Mon Sep 17 00:00:00 2001 From: Matt Solomon Date: Fri, 16 Feb 2024 08:11:19 -0800 Subject: [PATCH] add github and edit buttons to the docs --- book.toml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/book.toml b/book.toml index 1d9abe101..a73172c95 100644 --- 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"]