GNU bug report logs -
#21023
REQUEST: --no-dereference missing from manpage + please make a short option for it
Previous Next
Full log
Message #22 received at 21023 <at> debbugs.gnu.org (full text, mbox):
reopen 21023
tags 21023 -notabug
thanks
On Mon, Aug 31, 2015 at 1:04 PM, Rodrigo Valiña Gutiérrez
<rodrivg <at> gmail.com> wrote:
> On 8/31/15, Jim Meyering <jim <at> meyering.net> wrote:
>> tags 21023 notabug
>> thanks
>>
>> On Mon, Aug 31, 2015 at 9:59 AM, Rodrigo Valiña Gutiérrez
>> <rodrivg <at> gmail.com> wrote:
>>> --no-dereference appears in 'diff --help' and 'info diffutils', but
>>> not in 'man diff'.
>>
>> Thanks for the report, but that is unlikely to be a problem with this
>> upstream diffutils package, since the man page (diff.1) is
>> automatically generated from the output of diff --help, and the build
>> machinery to do that has been in place for over a decade. I would
>> suspect whatever installed your diff man pages or the configuration of
>> your "man(1)" program -- maybe it is searching in the wrong place.
>
> Thanks for the reply.
> I downloaded diffutils-3.3.tar.xz and in diffutils-3.3/man/diff.1 does
> not appear the --no-dereference option. I don't know whether it is
> re-generated at compile or install time... but at the moment that file
> does not have the said option.
Oh, I see that you are right! So this *is* a bug. Reopening and untagging.
It looks like I managed to include a stale diff.1 (not including the
then-new --no-dereference description) in the distribution tarball.
That makes me think there is or was a missing dependency. I'll
investigate and report back here.
This bug report was last modified 9 years and 261 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.