cmdline-docs: more options converted and fixed

Now all options are in the new system.

1 files changed, 2 insertions, 12 deletions

diff --git a/docs/cmdline-opts/gen.pl b/docs/cmdline-opts/gen.pl
index ea6d7adf9..6fe24be1e 100755
--- a/docs/cmdline-opts/gen.pl
+++ b/docs/cmdline-opts/gen.pl
@@ -95,7 +95,6 @@ sub single {
     my $arg;
     my $mutexed;
     my $requires;
-    my $redirect;
     my $seealso;
     my $magic; # cmdline special option
     while(<F>) {
@@ -129,9 +128,6 @@ sub single {
         elsif(/^Requires: *(.*)/i) {
             $requires=$1;
         }
-        elsif(/^Redirect: *(.*)/i) {
-            $redirect=$1;
-        }
         elsif(/^Help: *(.*)/i) {
             ;
         }
@@ -174,14 +170,8 @@ sub single {
     else {
         print ".IP \"$opt\"\n";
     }
-    if($redirect) {
-        my $l = manpageify($redirect);
-        print "Use $l instead!\n";
-    }
-    else {
-        if($protocols) {
-            print protocols($standalone, $protocols);
-        }
+    if($protocols) {
+        print protocols($standalone, $protocols);
     }
 
     if($standalone) {