Hi,
make clean removes the generated man pages even in the distributed version where they cannot be recreated because we do not ship the xml sources. This patch checks if src/man/include, which we do not ship either, exists before removing the files.
bye, Sumit