man: say that we ignore ignored options
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Fri, 4 Mar 2022 13:13:56 +0000 (14:13 +0100)
committerLuca Boccassi <luca.boccassi@gmail.com>
Sat, 5 Mar 2022 21:03:32 +0000 (21:03 +0000)
commit61c143b08c802b069543d938ef85f425ad9ba402
tree79f10a54681f38b9d60c6f9171005362fb34fead
parentb634a0a6157f84a292f279a83cc8b1a2f283db10
man: say that we ignore ignored options

Fixes #22057.

(cherry picked from commit 382586894b9c09974aa734a1f77d3f6f69126d76)
man/systemd.unit.xml