bug#38574: closed (Bug#946620: diff called 'GNU')

[GNU bug Tracking System]

Your message dated Sun, 12 Jan 2020 10:06:46 -0800
with message-id 
<CA+8g5KFe4O-z9q=wDQsFuLhXXXPEuLT0GHcjvaJyd3_K8vR=address@hidden>
and subject line Re: diff called 'GNU'
has caused the debbugs.gnu.org bug report #38574,
regarding Bug#946620: diff called 'GNU'
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
38574: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38574
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Bug#946620: diff called 'GNU'
>
>
>
>
> Date: 
>
> Thu, 12 Dec 2019 09:25:55 +0800
>
>
>
>
> X-Debbugs-Cc: address@hidden
> Package: diffutils
> Version: 1:3.7-3
> File: /usr/share/man/man1/diff.1.gz
> Severity: important
>
> $ COLUMNS=50 man diff | head
> GNU(1)            User Commands           GNU(1) << Say DIFF(1)
>
> NAME
>        GNU diff - compare files line by line
>
> SYNOPSIS
>        diff [OPTION]... FILES
>
> DESCRIPTION
>        Compare FILES line by line.
> $ COLUMNS=50 man diff | tail -n 11
>        The  full  documentation for GNU is main‐ << Say diff
>        tained as a Texinfo manual.  If the  info
>        and  GNU  programs are properly installed
>        at your site, the command
>
>               info GNU                           << Say diff
>
>        should give you access  to  the  complete
>        manual.
>
> diffutils 3.7     December 2018           GNU(1) << Say DIFF(1)
>
> In fact this bug affects the diff3 etc. man pages too.
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: diff called 'GNU' Date: Sun, 12 Jan 2020 10:06:46 -0800

Re https://bugs.gnu.org/38574.
Thank you for the report. I've fixed it with the attached:

diff-nroff.diff
Description: Binary data

--- End Message ---