Fix automake problem with manual page