Fixed automake distribution of the CmakeLists.txt file used to build the man page.