From c07e5e99c889e9f5fc39c36dcfee2fbaedb85766 Mon Sep 17 00:00:00 2001 From: "Ryan C. Gordon" Date: Wed, 14 Jul 2021 17:07:41 -0400 Subject: [PATCH] wikiheaders.pl: Add --copy-to-header option. ...because I keep mistyping it without the 's' on the end. :/ --- build-scripts/wikiheaders.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl index f33216138..d00631c7d 100755 --- a/build-scripts/wikiheaders.pl +++ b/build-scripts/wikiheaders.pl @@ -12,6 +12,7 @@ my $copy_direction = 0; foreach (@ARGV) { $warn_about_missing = 1, next if $_ eq '--warn-about-missing'; $copy_direction = 1, next if $_ eq '--copy-to-headers'; + $copy_direction = 1, next if $_ eq '--copy-to-header'; $copy_direction = -1, next if $_ eq '--copy-to-wiki'; $srcpath = $_, next if not defined $srcpath; $wikipath = $_, next if not defined $wikipath;