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)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Fri, 4 Mar 2022 13:13:56 +0000 (14:13 +0100)
commit382586894b9c09974aa734a1f77d3f6f69126d76
treec4287a740f757abaeb819d0250584c73f704395d
parent46d362f406e1a75fc8f924b9b16d5d352be6d081
man: say that we ignore ignored options

Fixes #22057.
man/systemd.unit.xml