Commit c07e5e99c889e9f5fc39c36dcfee2fbaedb85766

Ryan C. Gordon 2021-07-14T17:07:41

wikiheaders.pl: Add --copy-to-header option. ...because I keep mistyping it without the 's' on the end. :/

1
2
3
4
5
6
7
8
9
10
11
12
diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl
index f332161..d00631c 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;