[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: GNU bug Tracking System
Subject: bug#38574: closed (Bug#946620: diff called 'GNU')
Date: Sun, 12 Jan 2020 18:08:02 +0000

Your message dated Sun, 12 Jan 2020 10:06:46 -0800
with message-id 
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

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)

       GNU diff - compare files line by line

       diff [OPTION]... FILES

       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

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:

Attachment: diff-nroff.diff
Description: Binary data

--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]