/usr/bin/install -c -d /tmp/brltty/debian/brltty/share/man/man3 dh_installman -plibbrlapi-dev debian/brltty/usr/share/man/man3/*.3 Here is the problem: Dave, it looks like BRLTTY_PORTABLE_DIRECTORY([mandir], [/usr/share]) doesn't work as expected: manpages get installed in /share... Samuel