[Debian GNUstep maintainers] Bug#375375: gnustep-make-doc: ships generically named info files, most problematically make.info.gz

[Aaron M. Ucko]

Package: gnustep-make-doc
Version: 1.12.0-1
Severity: important

The latest version of gnustep-make-doc ships several files under
/usr/share/info with fairly generic names, such as faq.info.gz.  Most
of these are nevertheless unique in practice, but make.info.gz
overlaps with the [admittedly non-free] make-doc package.

Could you please rename them, or at minimum make.info.gz?

Thanks!

-- System Information:
Debian Release: testing/unstable
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'stable')
Architecture: amd64 (x86_64)
Shell:  /bin/sh linked to /bin/bash
Kernel: Linux 2.6.17.1
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)