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;