diff options
author | Flavio Castelli <fcastelli@suse.com> | 2021-04-26 09:59:08 +0200 |
---|---|---|
committer | Flavio Castelli <fcastelli@suse.com> | 2021-04-26 09:59:08 +0200 |
commit | 7525b35383355483ce95c36f021342b9dec0ab36 (patch) | |
tree | 6a41d0256d15b6d7234fb6105a69fda8bd9dacf5 /src/config.rs | |
parent | 94e797fba07fbb457e18f25c9179612d2d2491d4 (diff) |
Rename git-repository-edit-url-template
Change the name of the git-repository-edit-url-template to be more
generic: `edit-url-template`
Signed-off-by: Flavio Castelli <fcastelli@suse.com>
Diffstat (limited to 'src/config.rs')
-rw-r--r-- | src/config.rs | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/config.rs b/src/config.rs index e80e21c4..78fdc3ad 100644 --- a/src/config.rs +++ b/src/config.rs @@ -522,11 +522,10 @@ pub struct HtmlConfig { /// /// [custom domain]: https://docs.github.com/en/github/working-with-github-pages/managing-a-custom-domain-for-your-github-pages-site pub cname: Option<String>, - /// Git repository file edit url template, when set shows an - /// "Suggest an edit" button for directly jumping to editing the - /// currently viewed page in the git repository. Contains {path} - /// that is replaced with chapter source file path - pub git_repository_edit_url_template: Option<String>, + /// Edit url template, when set shows a "Suggest an edit" button for + /// directly jumping to editing the currently viewed page. + /// Contains {path} that is replaced with chapter source file path + pub edit_url_template: Option<String>, /// This is used as a bit of a workaround for the `mdbook serve` command. /// Basically, because you set the websocket port from the command line, the /// `mdbook serve` command needs a way to let the HTML renderer know where @@ -559,7 +558,7 @@ impl Default for HtmlConfig { search: None, git_repository_url: None, git_repository_icon: None, - git_repository_edit_url_template: None, + edit_url_template: None, input_404: None, site_url: None, cname: None, |