[Pkg-openmpi-maintainers] Bug#813929: Should Suggest: openmpi-doc

[Yuri D'Elia]

Package: libopenmpi-dev
Version: 1.10.2-4
Severity: minor

It would be nice if libopenmpi-dev would suggest it's own documentation.
Thanks.

-- System Information:
Debian Release: stretch/sid
  APT prefers unstable
  APT policy: (900, 'unstable'), (800, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 4.3.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages libopenmpi-dev depends on:
ii  libc6           2.21-7
ii  libhwloc-dev    1.11.2-2
ii  libhwloc5       1.11.2-2
ii  libibverbs-dev  1.1.8-1.1
ii  libopenmpi1.10  1.10.2-4
ii  openmpi-common  1.10.2-4

libopenmpi-dev recommends no packages.

libopenmpi-dev suggests no packages.