Ubuntu
debhelper package

  1. Bug #1833124
  2. Comment #2

Comment 2 for bug 1833124

Revision history for this message
Kir Kolyshkin (kolyshkin) wrote :

I guess that debhelper post-install script should at least do this (taken from "/usr/local/sbin/unminimize"):

if [ "$(dpkg-divert --truename /usr/bin/man)" = "/usr/bin/man.REAL" ]; then \
       rm -f /usr/bin/man; \
       dpkg-divert --quiet --remove --rename /usr/bin/man; \
fi