diff options
Diffstat (limited to 'utils/filtron.sh')
| -rwxr-xr-x | utils/filtron.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/utils/filtron.sh b/utils/filtron.sh index c53acc607..89971d61d 100755 --- a/utils/filtron.sh +++ b/utils/filtron.sh @@ -180,6 +180,10 @@ main() { debug-off) echo; disable_debug ;; *) usage "$_usage"; exit 42;; esac ;; + doc) + echo + echo ".. generic utils/filtron.sh documentation" + ;; *) usage "unknown or missing command $1"; exit 42;; esac |