Hello, I have noticed a trivial bug in MPD. In version 0.12.2 man pages are installed in /usr/share/man and as a result they are not gzipped. Passing the --mandir option to the configure script solves this. Vasilis