Created attachment 195846 [details]
Proposed patch to OptionalObsoleteFiles.inc
If WITHOUT_DICT=true, /usr/share/dict/eign is removed by make delete-old but this file belongs to WITH_GROFF, not to WITH_DICT.
A commit references this bug:
Date: Mon Jan 7 15:53:55 UTC 2019
New revision: 342848
OptionalObsoleteFiles: remove groff leftovers
usr/share/dict/eign is removed unconditionally as of r319664, so it no
longer needs to be in OptionalObsoleteFiles.
Reported by: philippe.michel7 sfr.fr