diff --git a/tools/autodoc.pl b/tools/autodoc.pl index 525edbd..ce4cdc7 100644 --- a/tools/autodoc.pl +++ b/tools/autodoc.pl @@ -7,6 +7,7 @@ # Use GITHUB_REF, but if the ref is develop/v\d, then use v\d my $link_ref = $ENV{GITHUB_REF}; +$link_ref =~ s{^origin/refs/heads/}{}; my @files = @ARGV; my @has_diff;