Bug#931705: doc-base: Error while merging...: format html already defined

2019-07-09 Thread Vincent Lefevre
On 2019-07-09 14:18:03 +0200, Vincent Lefevre wrote: > I get the following error (which seems non-fatal): > > # apt install --reinstall doc-base > Setting up doc-base (0.10.8) ... > Processing 2 changed doc-base files, 2 added doc-base files... > Error while merging /usr/share/doc-base/cl-asdf-asd

Bug#931705: doc-base: Error while merging...: format html already defined

2019-07-09 Thread Vincent Lefevre
Package: doc-base Version: 0.10.8 Severity: normal I get the following error (which seems non-fatal): # apt install --reinstall doc-base Setting up doc-base (0.10.8) ... Processing 2 changed doc-base files, 2 added doc-base files... Error while merging /usr/share/doc-base/cl-asdf-asdf with /usr/