From f8aa6149f11dec1ee3757751fa6648e3117f2fb0 Mon Sep 17 00:00:00 2001
From: Xavier Guimard <x.guimard@free.fr>
Date: Fri, 9 Mar 2018 18:53:42 +0100
Subject: [PATCH] Update wiki script

---
 scripts/parameters-for-wiki.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/parameters-for-wiki.pl b/scripts/parameters-for-wiki.pl
index 9b2937eba..0673d786d 100755
--- a/scripts/parameters-for-wiki.pl
+++ b/scripts/parameters-for-wiki.pl
@@ -38,6 +38,7 @@ EOF
 
 foreach my $k ( sort keys %$prm ) {
     next if $k =~ $ignore;
+    next if $k =~ $rmg;
     my $p = $prm->{$k};
     $p->{flags} ||= 'p';
     print "| $k | $p->{documentation}"
-- 
GitLab