getparameter: return PARAM_MANUAL_REQUESTED for -M even when disabled

... to improve the output in this situation. Now it doesn't say "option
unknown" anymore.

Closes #9485

diff --git a/src/tool_getparam.c b/src/tool_getparam.c
index 86b436df180c22e835eafeb437660c969213b802..6b1e1d0a7479925294858f0a88746d600812d58c 100644 (file)
--- a/src/tool_getparam.c
+++ b/src/tool_getparam.c
@@ -2045,13 +2045,11 @@ ParameterError getparameter(const char *flag, /* f or -long-flag */
       break;
     case 'M': /* M for manual, huge help */
       if(toggle) { /* --no-manual shows no manual... */
-#ifdef USE_MANUAL
-        return PARAM_MANUAL_REQUESTED;
-#else
+#ifndef USE_MANUAL
         warnf(global,
               "built-in manual was disabled at build-time!\n");
-        return PARAM_OPTION_UNKNOWN;
 #endif
+        return PARAM_MANUAL_REQUESTED;
       }
       break;
     case 'n':