on a second thought, I see that there are some files unnecessarily installed in /usr/share/doc/libxfont-dev/ when they should be in doc/libxfont1-dev/
on a second thought, I see that there are some files unnecessarily installed in /usr/share/ doc/libxfont- dev/ when they should be in doc/libxfont1-dev/