diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl index 83a764875b..b185c0ddfc 100755 --- a/build-scripts/wikiheaders.pl +++ b/build-scripts/wikiheaders.pl @@ -1707,6 +1707,7 @@ if ($copy_direction == 1) { # --copy-to-headers if ($wikitype eq 'mediawiki') { $syntax = "\n$decl\n"; } elsif ($wikitype eq 'md') { + $decl =~ s/\n+\Z//; $syntax = "```c\n$decl\n```\n"; } else { die("Expected wikitype '$wikitype'"); }