Oops. Fix 'make install' to install the manual page.