Browse Source

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

...because I keep mistyping it without the 's' on the end.  :/
Ryan C. Gordon 4 years ago
parent
commit
c07e5e99c8
1 changed files with 1 additions and 0 deletions
  1. 1 0
      build-scripts/wikiheaders.pl

+ 1 - 0
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;