Bug#889711: Error installing libmpfr-doc

2018-02-06 Thread Vincent Lefevre
Control: tags -1 - upstream Not an upstream bug. Upstream does not provide the /usr/share/doc-base/mpfr-manual file, which seems to be generated by Debian tools. On 2018-02-06 09:25:26 +0100, cruncher wrote: > Package: libmpfr-doc > Version: 4.0.1~rc2-1 > Severity: normal > Tags: upstream > >

Bug#889711: Error installing libmpfr-doc

2018-02-06 Thread cruncher
Package: libmpfr-doc Version: 4.0.1~rc2-1 Severity: normal Tags: upstream When installing libmpfr-doc you get this error: Error in `/usr/share/doc-base/mpfr-manual', line 12: value of `Format' not specified. Note: `install-docs --verbose --check file_name' may give more details about the above