[bug-diffutils] bug#21023: --no-dereference

[Rodrigo Valiña Gutiérrez]

--no-dereference appears in 'diff --help' and 'info diffutils', but
not in 'man diff'.