On 08/04/11 09:02, Paul Eggert wrote:
> I'll ask.

The answer came back that the patch Jim installed
<http://git.savannah.gnu.org/cgit/diffutils.git/commit/?id=789252980fa8ef3d804372cd347898aa5c2ec7fe>
is OK for diffutils, since the GNU Press isn't publishing
the manual in printed form.  So this should make things
OK for Debian.

Reply via email to