Bug#848913: libeigen3-doc is no longer built

[Yd]

Package: libeigen3-doc
Version: 3.3.0-1
Severity: normal

The package libeigen3-doc doesn't seem to be built any longer, but it's still
suggested by libeigen3-dev.

It would be nice if the package would be built again.

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

Kernel: Linux 4.9.0-rc8-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 libeigen3-doc depends on:
ii  fonts-freefont-ttf  20120503-6
ii  libjs-jquery        3.1.1-2

libeigen3-doc recommends no packages.

Versions of packages libeigen3-doc suggests:
ii  libeigen3-dev  3.3.0-1