SDL: wikiheaders.pl: Add --copy-to-header option.

From c07e5e99c889e9f5fc39c36dcfee2fbaedb85766 Mon Sep 17 00:00:00 2001
From: "Ryan C. Gordon" <[EMAIL REDACTED]>
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 @@
 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;