Dummy man page.