Descend into the man/ subdirectory, so that flex.info gets installed,
and what gets installed matches up with the set lists.

Add build glue and old manual page, since the new one is content free.